libvms

API for running cryptographically auditable VMs.