QEMU offering the hypercall interface used by HSFI and OSIRIS - View it on GitHub