GitHub repository: jstarks/openvmm
Description: Home of OpenVMM and OpenHCL.