Linked by Thom Holwerda on Wed 6th May 2009 10:00 UTC, submitted by Norman Feske
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.
Post a Comment
