Announcement: Genode OS Framework version 16.02 released

Norman Feske norman.feske at ...1...
Fri Feb 26 12:31:05 CET 2016

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:

Best regards

Dr.-Ing. Norman Feske
Genode Labs ·

Genode Labs GmbH · Amtsgericht Dresden · HRB 28424 · Sitz Dresden
Geschäftsführer: Dr.-Ing. Norman Feske, Christian Helmuth

More information about the users mailing list