Latest Release

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

Release notes summary for the version 18.08

Sculpt OS with live runtime view
Device drivers
- Linux device-driver environment based on kernel 4.16.3
- Updated and enhanced Intel framebuffer and wireless drivers
- Decomposed USB stack, support for isochronous devices
- Improved device compatibility of NIC and PS/2 drivers
- Experimental runtime for Zircon-based drivers
Base framework and OS-level infrastructure
- NIC-router support for multiple uplinks
- New VFS plugin for using LwIP as TCP/IP stack
- Cached file-system-based ROM service
- VFS plugin for importing initial content
- Enhanced Ada language support
Libraries and applications
- Python 3
- VirtualBox 5.1.38
Platforms
- New Intel Microcode update mechanism
- Multiprocessor support for our custom kernel on x86
- Updated NOVA and Fiasco.OC kernels