Announcement: Genode OS Framework version 17.11 released

Christian Helmuth christian.helmuth at ...1...
Thu Nov 30 15:37:49 CET 2017

Not one major feature but many small improvements regarding the
interactive use come with new version 17.11 of Genode. Driven by our
endeavor to use Genode as secure and robust working platform in the
Genode Labs team, we smoothened great many rough edges. On the path,
the system got a completely revised GUI and input stack, a dynamic
driver manager, and over 150 packaged depot archives. The package
management represents the key to easy deployment and update of the
system in the future.

This is a short summary of changes and new features.

- Base framework and OS-level infrastructure
  - Dynamic device-driver management
  - NIC-router ability to act as DHCP client and server
  - Improved input processing, including mouse acceleration,
    mouse-wheel emulation, capslock and numlock handling
  - Revised GUI stack, covering broader use cases
  - Refined Rump-kernel-based file-system support
- Platform support
  - UEFI boot, consistent use of GRUB2 on x86
  - Enabling MMU-based threat mitigations by default
  - seL4 updated to kernel branch 7.0
  - Wrapping up internal redesign of Genode's custom kernel
- Runtimes, applications, and libraries
  - Cultivation of the Nim language for Genode components
  - Native execution of Libretro-based game-console emulators
  - Reworked libSDL backend with support for resizing
- Improved tooling for validating configurations

Details can be found in the release documentation available at

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