Genode OS Framework release 15.08

The current release is characterized by our efforts to use Genode as day-to-day operating system. From this background, we packed plenty of small improvements regarding user GUI experience, VirtualBox robustness and performance, integration of native Genode applications and guest OSes as well as tools to inspect the system behavior into Genode 15.08. Beyond that, we're proud to integrate community contributions as the support to run Genode base-hw on the Muen separation kernel on x86_64 and extended device-driver support for Raspberry Pi and Odroid-X2.

Beside that there are also kernel-resource management for NOVA, VirtualBox audio support, file-system infrastructure improvements, and the completion of our transition to the new platform driver on the table.

Detailed information about all changes of Genode 15.08 can be found in the release documentation at http://genode.org/documentation/release-notes/15.08