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

download page.

Release notes summary for the version 10.05

• Mandatory access control and session routing

• Added audio-out support

• OKLinux stub driver for GUI

• New build system optimized for parallel builds

• Arora web browser

• Port of libSDL

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