seL4 on the Odroid XU4

This page provides info on the Odroid-XU4 Exynos 5 board

Get and build sel4test

Checkout the sel4test project using repo as per seL4Test

repo init -u
repo sync
mkdir cbuild
cd cbuild
../ -DPLATFORM=exynos5422 -DAARCH32=1
# The default cmake wrapper sets up a default configuration for the target platform.
# To change individual settings, run `ccmake` and change the configuration
# parameters to suit your needs.

Generated binaries can be found in the images/ directory.