The Odroid-C2 is a single board computer based on the Amlogic S905 System-on-Chip.
Only 64-bit mode is supported, and SMP, Hyp, etc. are not currently supported.
The default U-Boot will allocate DMA regions that can corrupt seL4 kernel memory. Mainline U-Boot can be used instead on this board. Some Linux distributions include mainline U-Boot binaries compiled for this board, or you can compile U-Boot yourself.
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=odroidc2 -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
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-odroidc2 go 0x20000000