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.