http://www.osnews.com/story/21440/Bringing_Genode_to_the_OKL4_Kernel Exploring the Future of Computing en-us Copyright 2001-2009, David Adams adam+nospam@osnews.com Wed, 02 Dec 2009 06:20:42 GMT http://www.osnews.com/images/osnews.gif http://www.osnews.com http://osnews.com/thread?362070 http://osnews.com/thread?362070 kernel is a great addition. Hopefully sometime the open source darwin9 would run on this instead of mach (or at least its device drivers) Wed, 06 May 2009 13:24:00 GMT donotreply@osnews.com (fithisux) Comments