GitHub repository: Ivan-Velickovic/libvmm
Primary language: C
Description: An experimental VMM for the seL4 microkernel