Genode 13.02 supports IOMMUs on x86, runs on Cortex A15
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.
E-mail Print r 1   · Read More · 21 Comment(s) http://osne.ws/koz
Thread beginning with comment 554057
To view parent comment, click here.
To read all comments associated with this story, please click here.
RE[3]: Very Impressive
by nfeske on Sat 2nd Mar 2013 11:14 UTC in reply to "RE[2]: Very Impressive"
nfeske
Member since:
2009-05-27

We haven't used existing code for the new audio interface. Low-level interfaces like this one are tightly coupled to the Genode API. Reusing existing work would have meant to create a glue layer between the existing code (that is typically expecting a POSIX-like environment, using mmap, Unix-domain sockets etc.) and the Genode API. I am afraid that this glue layer alone would have exceeded our custom implementation in terms of code complexity.

That said, nothing is set in stone. If we see, down the road, that adopting an existing solution would have been a better choice, we can still revise our decision. To come to the right judgement, we need to gather experience with the new interface first.

Reply Parent Score: 2