Genode 13.05

The current release contains the following changes and new features:

• Tooling for automated testing and benchmarking
• Enhanced terminal infrastructure
• New network performance benchmarks
• Platform support
  • Exynos 5 SoC (USB-3, gigabit networking, eMMC, SATA)
  • i.MX SoC (GPIO, display, touch screen)
  • OMAP4 SoC (LCD)
  • Raspberry Pi
  • Linux/ARM as new base platform
• Device drivers
  • DDE Linux updated to Linux 3.9
  • DDE iPXE update to latest Git version
• Services
  • FS-LOG service
  • Dynamically reconfigurable virtual framebuffer
• 3rd-party libraries
  • Qt4 version 4.8.4
  • libSDL supplemental libraries

Read the complete release notes for the version 13.05 here.