Announcement: Genode OS Framework version 12.11 released

Christian Helmuth christian.helmuth at ...1...
Thu Nov 29 15:55:41 CET 2012

Today, we are happy to announce the new version of the Genode OS
Framework, which denotes an important landmark: the ability to build
Genode within the Genode environment leaving aside any kind of

And of course, there a many more improvements to explore in the fresh

  - Self-hosting Genode on Genode
  - Custom kernel platform
    - Support for ARM TrustZone
    - Support for OMAP4
    - Support for Freescale i.MX
  - Device drivers
    - New device driver environment for the Open Sound System
    - New OMAP4 GPIO driver
    - Updated iPXE networking drivers
  - Platform support
    - Largely revisited platform support for Linux
    - NOVA updated and complemented
    - L4ka::Pistachio updated
    - Fiasco.OC updated to rev 40, L4Linux updated to rev 25
  - Optimizations
    - lwIP update and performance improvements

The whole story is described in the release notes:

Best regards and enjoy
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