I am delighted to announce the release of Genode version 13.02. The overall theme of this version is improving the framework's platform support. This is most prominently visible in the form of the many NOVA-specific improvements and the addition of the Cortex-A15-based Exynos 5250 SoC. But those are only a small part of the whole story, which is described in full detail in the release notes:
http://genode.org/documentation/release-notes/13.02
The release-notes summary follows:
- DMA protection via IOMMU (NOVA/x86) - Full virtualization via the Vancouver VMM (NOVA/x86) - Redesigned audio-output support for low latency - Base API and OS infrastructure - New fault-detection facility - New mechanism for file-system notifications - New terminal multiplexer - Device drivers - ACPI support for 64-bit machines - New OMAP4 UART driver - USB support for Samsung Exynos 5250 - Base platforms - Custom kernel platform with added support for Samsung Exynos 5250 and Freescale i.MX53 - NOVA kernel improved for highly dynamic workloads - Fiasco.OC kernel forked, Exynos-5250 support added - Improved memory management on Linux
I wish you a lot of fun with exploring the new version!
Cheers Norman