seL4 on the Odroid XU4
This page provides info on the Odroid-XU4 Exynos 5 board
Platform | OdroidXU4 |
Architecture | ARMv7A |
System-on-chip | Exynos5 |
CPU | Cortex-A15 |
seL4 virtualisation support | |
seL4 SMMU support | limited support |
Verification status | FC with HYP, no SMMU |
seL4 CMake platform name | exynos5422 |
Contributed by | Data61 |
Maintained by | seL4 Foundation |
Get and build sel4test
Checkout the sel4test project using repo as per seL4Test
repo init -u https://github.com/seL4/sel4test-manifest.git
repo sync
mkdir cbuild
cd cbuild
../init-build.sh -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.
ninja
Generated binaries can be found in the images/
directory.