Support library for the virtual machine manager on seL4.