An in-depth look into the ARM virtualization extensions Mar 12, 2015

Our new article explores the mechanisms of the ARM virtualization extensions and describes how Genode's custom base-hw kernel was turned into a microhypervisor.

With the recently published version 15.02, Genode received support for ARM's virtualization extensions. While conducting this line of work during the year of 2014, we took the chance to thoroughly document the experience. The article "An in-depth look into the ARM virtualization extensions" presents the overall virtualization architecture and goes into detail about the virtualization of memory, CPU, interrupts, and time. Furthermore, it covers a series of experiments with I/O protection mechanisms. Read the article...