/sel4test-manifest

Project to build and test seL4 for many different platforms

sel4test-manifest

The sel4test project aims to test sel4 and some of its user libraries on many different targets.

For general instructions on using this repository, see Getting Started and the seL4Test page on the docsite.

See Host Dependencies for required dependencies.