Similar repositories to seL4/camkes-vm-examples-manifest: