Genode OS Framework release 15.11

With a strong focus on Genode as a desktop operating system, version 15.11 brings lots of improvements in the whole software stack. The new features range from a port of Intel graphics adapter driver from Linux over secure copy-paste to completely dynamic configuration of the de-componentized GUI. Additionally, we added support for Xilinx Zynq-7000 and 64-bit guests in VirtualBox as well as improved support for TrustZone on the USB Armory device.

The release documentation at http://genode.org/documentation/release-notes/15.11 covers all improvements of the current release in detail.