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.
Thread beginning with comment 553959
To view parent comment, click here.
To read all comments associated with this story, please click here.
krishna
Member since:
2008-08-11

All the information about I/O MMUs and Genode's support for them (including nice figures) is just one click on the link in the article away. So, please have a look into our (quite detailed) release notes also written by Norman.

Reply Parent Score: 3