The Genode project has released the version 9.05 of their operating-system framework. The highlights as detailed in the release notes are the support of the OKL4 kernel as base platform, the introduction of basic USB support, the integration of Qt4 into the main-line source tree, and 64-bit support.
Furthermore, the release notes report on the progress of executing Linux as user-level subsystem on top of Genode. At present, there already exists a prototype implementation of OKLinux booting up on top of the OKL4 variant of Genode. The new release is available at the project’s download page.
With the current release, the project has reached a state that enables the creation of applications, protocol stacks, and device drivers that are portable among four different kernel platforms, namely Linux (both 32 bit and 64 bit), Fiasco, Pistachio, and OKL4. According to the updated road map, the next release will be focused on non-functional refinements and optimizations such as support for shared libraries, and the decomposition of the network and USB stacks. Towards the end of the year, the project aims to be able to host unmodified POSIX applications executed within one or multiple lightweight POSIX execution environments as Genode sub systems.
It sounds like it has similar goals to the GNU Hurd OS project, but with more active development. They even use the same L4 microkernel family. As a non expert on microkernels in general, I was wondering if anyone could point out the differences between the two. Or even expound upon the benefit of ruining the Linux kernel in a user mode virtual machine on top of a micro kernel.