type 1 thin hypervisor written in C++ - View it on GitHub