From 06181b87a5bbfd77683d47fb69157a597775dcf7 Mon Sep 17 00:00:00 2001
From: Ivan Velickovic <10481259+Ivan-Velickovic@users.noreply.github.com>
Date: Sun, 5 Mar 2023 13:53:55 +1100
Subject: [PATCH] Add Odroid-C4 as supported platform (#176)

Signed-off-by: Ivan-Velickovic <i.velickovic@unsw.edu.au>
---
 Hardware/OdroidC4.md | 40 ++++++++++++++++++++++++++++++++++++++++
 1 file changed, 40 insertions(+)
 create mode 100644 Hardware/OdroidC4.md

diff --git a/Hardware/OdroidC4.md b/Hardware/OdroidC4.md
new file mode 100644
index 0000000000..a27710993c
--- /dev/null
+++ b/Hardware/OdroidC4.md
@@ -0,0 +1,40 @@
+---
+toc: true
+arm_hardware: true
+cmake_plat: odroidc4
+xcompiler_arg: -DAARCH64=1
+platform: Odroid-C4
+arch: ARMv8A, AArch64 only
+virtualization: "Yes"
+iommu: "No"
+soc: Amlogic S905X3
+cpu: Cortex-A55
+Status: Unverified
+Contrib: Data61
+Maintained: seL4 Foundation
+SPDX-License-Identifier: CC-BY-SA-4.0
+SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
+---
+
+# Odroid-C4
+
+The Odroid-C4 is a single board computer based on the Amlogic S905X3
+System-on-Chip.
+
+<https://wiki.odroid.com/odroid-c4/odroid-c4>
+
+Note that only 64-bit mode is supported.
+
+## Building seL4test
+
+{% include sel4test.md %}
+
+## 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
+```