Genode OS 13.05 Brings Automated Tests, Exynos 5
New features to this original open-source operating system is automated quality assurance testing, improvements to the terminal infrastructure, there's support for Samsung Exynos 5 platforms with drivers for USB 3, Fast Ethernet, Gigabit networking, eMMC, and SATA. The ARM-based Freescale i.MX53-based devices has new display, touchscreeen, and GPIO drivers. Lastly, the TI OMAP4 display driver has better LCD and HDMI support. There's also been a custom kernel added for the Raspberry Pi.
More details on the Genode OS 13.05 changes can be found at Genode.org.