Genode OS Framework release 15.02

Our plans for 2015 comprise the consolidation and cultivation of the existing feature set of Genode rather than the conquering of new grounds. Along these lines, our fresh release introduces a highly modular tool kit for automated testing and brings plenty of stability and performance improvements, e.g., for VirtualBox on NOVA. Nevertheless, we added one prominent feature to Genode 15.02, which is support for virtualization on ARM with our custom base-hw kernel.

The extensive release documentation covering all details about additions and changes is available from http://genode.org/documentation/release-notes/15.02