I am more convinced by the day that the Nova Microhypervisor approach is correct.
Do virtualization with a tiny formally verified microkernel and have complex kernels like Linux run underneath instead of having a huge, complex, and brittle linux kernel and vm ecosysem control the hypervisor layer.
lrvick•19m ago
Do virtualization with a tiny formally verified microkernel and have complex kernels like Linux run underneath instead of having a huge, complex, and brittle linux kernel and vm ecosysem control the hypervisor layer.
https://hypervisor.org/
traceroute66•12m ago
To save people the time:
"This code is experimental and not feature complete. If it breaks, you get to keep both pieces."
lrvick•10m ago
See his latest talk which represents a lot of impressive recent work: https://cfp.3mdeb.com/media/bsmconf/submissions/KW3SYT/resou...
I am working on a production OS based using it as a foundation.
lwansbrough•9m ago
Well said, Claude.
dexter0•6m ago
lrvick•5m ago
https://github.com/udosteinberg/NOVA/commit/9e35d89c0e7014f1...