Project to build and test seL4 for many different platforms
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Failed to load latest commit information.
LICENSE_BSD2.txt
README.md
common.xml
default.xml
master.xml Copy default.xml to master.xml Dec 19, 2017
mcs.xml

README.md

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.