GitHub repository: seL4/libsel4vmm
Primary language: C
Description: Support library for the virtual machine manager on seL4.