Latest Release

The source-code of the Genode OS Framework is available at the Sourceforge

Release notes summary for the version 13.02

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