GitHub repository: seL4/camkes-arm-vm-manifest
Description: Manifest for building a virtual machine on seL4 on ARM.