An educational hypervisor for eduOS-rs - View it on GitHub