| arm_hardware | true | |
|---|---|---|
| cmake_plat | odroidc4 | |
| xcompiler_arg | -DAARCH64=1 | |
| platform | Odroid-C4 | |
| arch | ARMv8A, AArch64 | |
| virtualization | true | |
| iommu | false | |
| soc | Amlogic S905X3 | |
| cpu | Cortex-A55 | |
| verification |
|
|
| Contrib | Data61 | |
| Maintained | seL4 Foundation | |
| parent | /Hardware/ | |
| SPDX-License-Identifier | CC-BY-SA-4.0 | |
| SPDX-FileCopyrightText | 2020 seL4 Project a Series of LF Projects, LLC. |
The Odroid-C4 is a single board computer based on the Amlogic S905X3 System-on-Chip.
{% include hw-info.html %}
Note that only 64-bit mode is supported.
{% 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-odroidc4
go 0x20000000