The source-code of the Genode OS Framework version 9.05 is available at the Sourceforge

download page.

Release notes summary for the version 9.05

• Applications

  • Integration of Qt4

  • Qt4-based launchpad

• OS services and drivers

  • Nitpicker performance tweaks

  • Virtualized PCI bus for VESA driver

  • USB session and device interface

• USB support

  • USB HID driver

  • Host controller drivers for UHCI, OHCI, and EHCI

• OKL4 as new platform

• 64-bit Linux platform support

• Base framework refinements

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