Latest Release

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

Release notes summary for the version 17.08

  • Hardware-accelerated graphics for Intel Gen-8 GPUs

  • The seL4 6.0 kernel on ARM and 64-bit x86 hardware

  • Genode as Xen DomU

  • Preliminary UEFI support for NOVA, base-hw, and seL4

  • New server for capturing reports to files

  • New runtime for the sequential execution of components

  • Support for boot-time initialized frame buffer

  • FatFS-based VFS plugin

  • Extended non-blocking operation of the VFS

  • Refined time handling

  • Updated Muen separation kernel

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