Latest Release

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

Release notes summary for the version 11.11

Support for user-level debugging via GDB
Applications and services
- Vancouver virtual machine monitor on NOVA
- VIM executed on the Noux runtime environment
- Terminal emulator implementing the Linux termcap
- TCP terminal
Platforms
- Fiasco.OC updated to rev 38
- NOVA updated to version 0.4
- New IPC implementation for Linux
- Improved support for hybrid Linux/Genode programs
L4Linux on Fiasco.OC
- Integration of L4Android (for both x86_32 and ARM)
- Stub drivers for block devices, NIC, UART
Device drivers
- gPXE device driver environment upgraded to iPXE
- Bidirectional UART driver for PL011 and i8250
- PL110 display driver
- Support for ARM Versatile Express Cortex-A9x4
Libc update to FreeBSD 8.2.0
New unified tool chain based on GCC 4.6.1