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