GitHub repository: Ivan-Velickovic/sel4cp_vmm
Primary language: C
Created: 2022-08-29T00:27:09Z
Description: An experimental VMM using the seL4 Core Platform