platforms: add polarfire hardware build

Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>
seL4 · Feb 1, 2024 · f30c716 · f30c716
1 parent 08f4dc6
commit f30c716
Showing 1 changed file with 8 additions and 0 deletions.
diff --git a/seL4-platforms/platforms.yml b/seL4-platforms/platforms.yml
@@ -67,6 +67,14 @@ platforms:
     req: [hifive] # , hifive1]
     march: rv64imac
 
+  POLARFIRE:
+    arch: riscv
+    modes: [64]
+    smp: [64]
+    platform: polarfire
+    march: rv64imac
+    no_hw_test: true
+
   SABRE:
     arch: arm
     modes: [32]