Announcement: Genode OS Framework version 13.11 released

Christian Helmuth christian.helmuth at ...1...
Thu Nov 28 12:37:51 CET 2013

Today we are happy to announce a fresh release of Genode, which is the
22nd release of the framework since the first version in August 2008.
In the box this time is a good deal of new features and changes
ranging from the base framework over platform support to applications
and libraries:

 - Base framework
   - Dynamic resource balancing
   - C++11 enabled by default
   - Improved event tracing
 - Low-level OS infrastructure
   - Gigabit networking using the Linux TCP/IP stack
   - Improved nitpicker GUI server
   - New terminal services
   - New file-system server for hybrid Genode/Linux systems
   - New C-runtime plugin for accessing block devices
 - Device drivers
   - Graphics and USB HID for Raspberry Pi
   - HDMI for Samsung Exynos 5
 - Applications and libraries
   - Qt5 with support for OpenGL and QML
   - New file systems based on FUSE
   - Port of DosBox
 - Runtime environments
   - Advanced GNU debugger features
   - ARM TrustZone support on Freescale i.MX53
 - Platforms
   - Base-HW enabled for dynamic workloads
   - Lifetime management for kernel object on NOVA
   - Ballooning support for L4Linux running on Fiasco.OC

Extensive information is available in the release documentation:

Best regards and have fun with Genode
Christian Helmuth
Genode Labs · · /ˈdʒiː.nəʊd/

Genode Labs GmbH · Amtsgericht Dresden · HRB 28424 · Sitz Dresden
Geschäftsführer: Dr.-Ing. Norman Feske, Christian Helmuth

More information about the users mailing list