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.
Thread beginning with comment 464178
To view parent comment, click here.
To read all comments associated with this story, please click here.
RE: I don't get it
by fithisux on Sun 27th Feb 2011 08:07 UTC in reply to "I don't get it"
Member since:

Why don't more people rave about this?
It's a pile of fantastic ideas.

I am very happy for this release. Contrary to what others say uKernels are the future. It makes the OS construction modular. I believe that this is the way forward. I wish Genode had a version with IOKit to use and write MacOSX compatible drivers (there was an IOKit port to L4) some years ago. Since uKernels are the future (and I do not agree with performance FUD) I hope the processor vendors realize that and start providing IOMMUs at desktop boards in order to make drivers more secure and other goodies. All in all Genode is a forward looking example and I would like to see much more uKernel OSs. Hurd is another paradigm though its problems are not uKernel related but both share a common vision. Hobby crowd should focus on writing hobby micro-kernels instead of hobby kernels.

Reply Parent Score: 2

RE[2]: I don't get it
by renox on Sun 27th Feb 2011 10:26 in reply to "RE: I don't get it"
renox Member since:

Contrary to what others say uKernels are the future.

Maybe, remember that we are using a lot of HW&SW which are "suboptimal": x86, C, C++, etc, even if micro-kernels were better technically, this doesn't ensure that we will use them in the future..

Reply Parent Score: 2

RE[2]: I don't get it
by nfeske on Sun 27th Feb 2011 18:12 in reply to "RE: I don't get it"
nfeske 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