Linked by nfeske on Thu 28th Feb 2013 12:08 UTC
OSNews, Generic OSes The just released version 13.02 of the Genode OS Framework comes with major improvements of the underlying kernels. Using the NOVA kernel, the framework can be used to build custom operating systems for IOMMU-enabled machines while also leveraging hardware virtualization. Using Genode's custom kernel or the Fiasco.OC kernel, the new version targets ARM Cortex-A15-based systems such as the Exynos 5250 SoC.
Permalink for comment 553965
To read all comments associated with this story, please click here.
jayrulez
Member since:
2011-10-17

Genode has been covered on OSnews since 2008:
http://www.osnews.com/search?q=genode

A quick google search will turn up relevant results with much information about the projects.

Also, simply clicking the link in the article will provide you much more information about this particular release.

It is on you to inform yourself on the matter.
http://lmgtfy.com/?q=IOMMU
http://lmgtfy.com/?q=NOVA+microkernel

Regards.

Edited 2013-02-28 21:02 UTC

Reply Parent Score: 1