In their just-published article, the Genode OS developers closely examine the virtualization extensions of the ARM architecture and document the process of turning their custom kernel into a microhypervisor – a hybrid of microkernel and hypervisor. Besides covering the virtualization of memory, interrupts, time, and CPU resources, the article also presents a series of experiments with ARM’s protection mechanism against DMA-based attacks.
Haven’t seen a lot of people use ARM Virtualization yet.
Don’t know if a lot of people use Genode.
But the few people that I’ve seen that use ARM Virtualization all point to the documentation of how ARM Virtualization works by Genode.
So they are doing something right. 🙂
I’m sure there is a lot of closed documentation, but Genode has the open kind.
Edited 2015-03-14 08:46 UTC