Linked by Norman Feske on Thu 18th Aug 2011 18:54 UTC
The microkernel developer community uses to be extremely fragmented. There exists a high variety of advanced microkernels each being developed with a different focus. However, since each kernel comes with its own minimalistic user land that is usually geared towards the special needs of its developers, none of those kernels has taken off in the domain of general-purpose computing. Genode has the mission to change that. Thanks to the tooling infrastructure that comes with the new version 11.08, the use of different microkernels has finally become a seamless experience. Those kernels including OKL4, L4/Fiasco, L4ka::Pistachio, NOVA, Codzero, and Fiasco.OC can be combined with the framework's steadily growing functionality such as a its new AHCI driver and Qt4.