Any thoughts about adding an implementation of KVM to the redox kernel?
I do know it would require changes to the paging subsystem in the kernel, possibly the threading logic in the kernel.
The initial idea that I had was implementing a libvirt compatible interface, but it would likely need a new scheme. Also, the paging system would be updated to include hardware-assisted nested paging first then software implemented nested paging next.
The goal is to see if we can run QEMU with Redox and Linux guests with Redox as the host.