Genode OS Framework release 16.02

Genode 16.02 adds RISC-V as a supported CPU architecture to our custom kernel, enables secure pass-through of individual USB devices to virtual machines, and updates the support for the Muen and seL4 kernels. We also improved our GUI stack and developed a custom USB mass-storage driver that runs separated from the now reconfigurable USB host-controller driver.

Detailed information about all changes of Genode 16.02 can be found in the release documentation at http://goo.gl/zYRMGq