Linked by nfeske on Thu 24th Feb 2011 23:27 UTC
OSNews, Generic OSes The just released version 11.02 of the Genode OS Framework pushes its platform support to 8 different kernels. Genode allows the construction of specialized operating systems by combining one of those kernels with a steadily growing number of ready-to-use components. The new platform additions are the support for Fiasco.OC, which is a modern capability-based microkernel, the upgrade to the NOVA hypervisor 0.3, and a custom kernel implementation specifically targeted to softcore CPUs as employed in FPGA-based SoCs. Functionality-wise, Genode 11.02 features the first parts of a new execution environment for running command-line-based GNU software natively on Genode.
Permalink for comment 464205
To read all comments associated with this story, please click here.
RE[2]: I don't get it
by nfeske on Sun 27th Feb 2011 18:12 UTC in reply to "RE: I don't get it"
nfeske
Member since:
2009-05-27

Wouldn't you like to give it a try to port IOkit? It sounds like a cool project. On Genode, there exists an API called DDE Kit (Device Driver Environment Kit), which is a suitable hook for such an endeavour.The API is really simple, check out the documentation:

http://genode.org/documentation/api/dde_kit_index

DDE Kit is already being used as backend for Genode's dde_linux (to run Linux drivers), dde_gpxe (to run gPXE network drivers) as well as the Gallium3D/GEM port. So it might be a natural point to start.

Reply Parent Score: 1