Bringing Genode to the OKL4 Kernel
As a teaser for the upcoming release of the Genode OS Framework 9.05, the newly added support for the OKL4 kernel has been released to the project's subversion repository. Genode is a framework for building custom microkernel-based operating systems using a capability-based architecture geared towards high security and robustness. Among the features of Genode are a custom GUI, a device driver kit, and native Qt4 support. From the ground up, it was laid out to be highly portable among different kernels.