Manifest for ARM VMM running on seL4 micro kernel