Announcement: Genode OS Framework version 16.02 released

[Norman Feske]

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

-- 
Dr.-Ing. Norman Feske
Genode Labs

http://www.genode-labs.com · http://genode.org

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