Latest Release

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

Release notes summary for the version 17.02

  • Genode application binary interface (ABI)

  • Enhanced infrastructure for virtual file systes (VFS)

    • VFS support for synchronous I/O and reconfiguration

    • Rump-kernel-based file systems as VFS plugin

    • Linux TCP/IP stack as VFS plugin

  • New execution model of the C runtime

  • Dynamically reconfigurable init component

  • Generic user-input-processing component

  • Improved SD-card drivers, added support for i.MX6

  • Muen separation kernel updated to version 0.8

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