platforms: add Pine64 Star64

seL4 · Aug 22, 2023 · 9e74e67 · 9e74e67
1 parent 607634d
commit 9e74e67
Showing 1 changed file with 8 additions and 0 deletions.
diff --git a/seL4-platforms/platforms.yml b/seL4-platforms/platforms.yml
@@ -58,6 +58,14 @@ platforms:
     req: [hifive] # , hifive1]
     march: rv64imac
 
+  STAR64:
+    arch: riscv
+    modes: [64]
+    smp: [64]
+    platform: star64
+    req: [star64]
+    march: rv64imac
+
   SABRE:
     arch: arm
     modes: [32]