platforms: disable MaaXBoard temporarily (#311)

Until #310 is merged. Signed-off-by: Ivan Velickovic <[email protected]>
seL4 · Jan 19, 2024 · 08c98dc · 08c98dc
1 parent b200781
commit 08c98dc
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/seL4-platforms/platforms.yml b/seL4-platforms/platforms.yml
@@ -118,6 +118,7 @@ platforms:
     platform: maaxboard
     req: [maaxboard1]
     march: armv8a
+    no_hw_build: true
 
   IMX8MM_EVK:
     arch: arm