Building Darwin kernel on top of Jaguar