Manifest for building a virtual machine on seL4 on ARM. - View it on GitHub