Latest Release

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

Release notes summary for the version 18.11

Quality assurance
- Automated test infrastructure hosted on top of Genode
- New tooling for obtaining test-coverage metrics
- Static code analysis
Genode as a platform for Mirage-OS unikernels
Initial version of the Genode SDK
Component health monitoring
Modularized window system in Sculpt OS
Zero-copy networking on Xilinx Zynq
New SSH terminal server
New window layouter

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