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 553964
To read all comments associated with this story, please click here.
RE[2]: Very Impressive
by jayrulez on Thu 28th Feb 2013 20:56 UTC in reply to "RE: Very Impressive"
Member since:


Since Fiasco.OC has been forked, do you think it would be worthwhile to implement the change suggested here: ?

That is getting rid of Sigma0 as done by other L4 or L4-like kernels... Or do you think diverging too much from the upstream kernel is not justifiable right now?

Reply Parent Score: 1