/sel4test-manifest

Project to build and test seL4 for many different platforms

No issues in this repository yet.