From 9a70451449c617061fd620f3cdc85f8974e3b15d Mon Sep 17 00:00:00 2001 From: Ivan-Velickovic Date: Sun, 9 Apr 2023 19:51:57 +1000 Subject: [PATCH] Add Star64 as supported platform --- Hardware/Star64.md | 34 ++++++++++++++++++++++++++++++++++ 1 file changed, 34 insertions(+) create mode 100644 Hardware/Star64.md diff --git a/Hardware/Star64.md b/Hardware/Star64.md new file mode 100644 index 0000000000..8603aa1cd9 --- /dev/null +++ b/Hardware/Star64.md @@ -0,0 +1,34 @@ +--- +riscv_hardware: true +cmake_plat: star64 +xcompiler_arg: -DRISCV64=1 +platform: Star64 +arch: RV64GBC, RV64IMAC, RV32IMAFBC +virtualization: "No" +iommu: "No" +simulation_target: false +Status: "Unverified" +Contrib: "Community" +Maintained: "seL4 Foundation" +soc: StarFive JH7110 +cpu: U74-MC, E24 +SPDX-License-Identifier: CC-BY-SA-4.0 +SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC. +--- + +# Star64 + +The Star64 is a RISC-V SBC by Pine64 based on the StarFive JH7110 SoC. Check +[here](https://wiki.pine64.org/wiki/STAR64) for details. + +The StarFive JH7110 SoC is comprised of the SiFive U74-MC (four 64-bit U74 +cores and one 64-bit S7 core) and one SiFive E24 32-bit core. Note that by +default seL4 is setup to use the U74 cores. + +## Building the GCC toolchain + +{% include risc-v.md %} + +## Building seL4test + +{% include sel4test.md %}