Latest Release

The source-code of the Genode OS Framework is available at GitHub and Sourceforge.

Release notes summary for the version 23.11

  • Kernel-agnostic DMA protection

  • PC power, frequency, temperature sensing and control

  • Modernized virtualization interface

  • New API for low-complexity interactive applications

  • Seoul virtual machine monitor for 64-bit guest OSes

  • Ports of Linphone VoIP stack, socat, SDL2 libraries

  • USB device drivers updated to Linux 6.1.20

  • Improved build-system for quick development-test cycles

Read the complete release notes for the version 23.11 in the documentation section...