GitHub repository: seL4/sel4test-manifest
Description: Project to build and test seL4 for many different platforms