This project implements the NoHype model on the KVM hypervisors.