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 sel4.systems/Info/GettingStarted/ and the Wiki.
Prerequisites, in addition to a standard development environment for your target(s) are:
- python tempita templating package
- realpath and which
- the libxml2 utilities.