Odroid-C4
The Odroid-C4 is a single board computer based on the Amlogic S905X3 System-on-Chip.
| Platform | Odroid-C4 |
| Architecture | ARMv8A, AArch64 |
| System-on-chip | Amlogic S905X3 |
| CPU | Cortex-A55 |
| seL4 virtualisation support | |
| seL4 SMMU support | – |
| Verification status | FC complete, Integrity ongoing |
| seL4 CMake platform name | odroidc4 |
| Contributed by | Data61 |
| Maintained by | seL4 Foundation |
Note that only 64-bit mode is supported.
Building 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=odroidc4 -DAARCH64=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.
Booting via TFTP
Make sure you’ve set up a TFTP server to serve the seL4 image.
dhcp
tftp 0x20000000 <YOUR_TFTP_SERVER_IP_ADDRESS>:sel4test-driver-image-arm-odroidc4
go 0x20000000