The sel4test project aims to test the seL4 kernel and some of its user libraries on many different
targets.
For instructions on using this repository, see the seL4Test page on the seL4 docsite.
See Host Dependencies for required toolchains and
dependencies to build sel4test.