Nested Virtualization Support

This feature will be the responsibility of the hypervisor provider like seL4 team or KVM or Xen…etc, whether they implement it correctly and securely or not. It’s particularly relevant in scenarios involving running an OS + VM inside another VM, or using a virtualizer/hypervisor within a VM (e.g. VirtualBox-in-VM).