20May
virtualization with a separate kernel guest OS on a virtual machine
Can using an separate kernel like seL4 on a hypervisor like hyper-v or xen protect the host OS and provide more powerful virtualization than using a non-separate kerne(Normal kernel,eg:linux,BSD)with hyper-v or xen?? And is it possible?
