I am happy to announce the release of Genode 16.02. The highlights of the new version are the addition of RISC-V architecture support, the ability to securely assign USB devices to VirtualBox instances, and the update of the Muen separation kernel and the seL4 microkernel. The summary of the changes is as follows:

- Assignment of USB devices to virtual machines - New support for the RISC-V CPU architecture - GUI stack usability improvements - Device drivers - Reconfigurable USB host-controller driver - Custom USB mass-storage driver - Improved audio output on Linux - Libraries and applications - New "Genode world" repository for 3rd-party software - Updated lynx, OpenSSH, tar, libssh, lighttpd - Platforms - Enhanced SMP and cache support for base-hw - Muen SK version 0.7 with MSI support - seL4 version 2.1

The complete story about these and many more improvements is covered by the release documentation:

http://genode.org/documentation/release-notes/16.02

Best regards Norman