Skip to content

Genode 13.11
Compare
Choose a tag to compare
@chelmuth chelmuth released this 28 Nov 11:12
· 11186 commits to master since this release
13.11
This tag was signed with the committer’s verified signature.
chelmuth Christian Helmuth
GPG key ID: 6CA92645A675B158
Learn about vigilant mode.
8c61832

Release notes summary for the version 13.11

The current release contains the following changes and new features:

  • 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

Read the complete release documentation for the version 13.11 here

http://genode.org/documentation/release-notes/13.11

Assets 2