ONLINE CONTENT:
https://wiki.xenproject.org/wiki/Xen_ARM_with_Virtualization_Extensions
https://wiki.xenproject.org/wiki/Xen_ARM_with_Virtualization_Extensions_whitepaper
https://www.genode.org/documentation/articles/arm_virtualization
https://www.starlab.io/blog/how-the-xen-hypervisor-supports-cpu-virtualization-on-arm
https://www.youtube.com/watch?v=igYgGH6PnOw