Hm I would like to see this in C rather than Rust. And I wonder if you can run the 1000 line OS in C along with the 1000 line hypervisor

It would be nice to see a demo!

Also discussed at:

https://news.ycombinator.com/item?id=45070019

See also https://ionescu007.github.io/SimpleVisor/ in around 500 lines of C.