platforms: temporarily remove hifive board

Signed-off-by: Gerwin Klein <[email protected]>
seL4 · Nov 18, 2022 · 0a88934 · 0a88934
1 parent 34538f5
commit 0a88934
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/seL4-platforms/platforms.yml b/seL4-platforms/platforms.yml
@@ -55,7 +55,7 @@ platforms:
     modes: [64]
     smp: [64]
     platform: hifive
-    req: [hifive, hifive1]
+    req: [hifive1] # [hifive, hifive1]
     march: rv64imac
 
   SABRE: