Phoronix: Genode OS 13.02 Plays With IOMMUs, Cortex-A15s

The Genode OS operating system framework now supports direct memory access via IOMMUs and it also has initial support for ARM Cortex-A15 SoCs. This work can be found in the brand new Genode OS 13.02 release...

http://www.phoronix.com/vr.php?view=MTMxNDM