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.
E-mail Print r 7   · Read More · 16 Comment(s)
Thread beginning with comment 464205
To view parent comment, click here.
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"
Member since:

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:

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

RE[3]: I don't get it
by krishna on Mon 28th Feb 2011 08:25 in reply to "RE[2]: I don't get it"
krishna Member since:

Wouldn't you like to give it a try to port IOkit?

...and I would be happy to support such a project!

Reply Parent Score: 1