sel4test

The official, automated test suite for the sel4. For more information, see https://docs.sel4.systems/seL4Test.html.

Compiling for the ODROID

Create a directory for the project and use repo to download the sources:

mkdir sel4test
cd sel4test
repo init -u https://github.com/sel4/sel4test-manifest.git
repo sync

Create and configure a build directory:

mkdir build
cd build
../init-build.sh -D PLATROFM=exynos5422 -D AARCH32=1

If for some reason you need to configure options other than the platform and architecture, type ccmake .. from the build directory to see the full menu.

Finally, build the project by typing ninja. The resulting image will be placed in the image folder within your build directory.

Refer to the Deploying to the ODROID-XU4 page for instructions on how to run this image on the Odroid.