toc | arm_hardware | cmake_plat | xcompiler_arg | platform | arch | virtualization | iommu | soc | cpu | Status | Contrib | Maintained | SPDX-License-Identifier | SPDX-FileCopyrightText |
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
true |
true |
odroidc2 |
-DAARCH64=1 |
Odroid-C2 |
ARMv8A, AArch64 only |
No |
No |
Amlogic S905 |
Cortex-A53 |
Unverified |
Data61 |
seL4 Foundation |
CC-BY-SA-4.0 |
2020 seL4 Project a Series of LF Projects, LLC. |
The Odroid-C2 is a single board computer based on the Amlogic S905 System-on-Chip.
https://wiki.odroid.com/odroid-c2/odroid-c2
Only 64-bit mode is supported both with and without SMP. Hypervisor support has not been tested.
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.
{% include sel4test.md %}
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