platforms: set MaaXBoard image to binary

Signed-off-by: Ivan Velickovic <[email protected]>
seL4 · Jan 30, 2024 · 9d9f401 · 9d9f401
1 parent 85c8f71
commit 9d9f401
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/seL4-platforms/platforms.yml b/seL4-platforms/platforms.yml
@@ -119,6 +119,10 @@ platforms:
     req: [maaxboard1]
     march: armv8a
     no_hw_build: true
+    # The MaaxBoard in machine queue expects a binary image
+    settings:
+        Sel4testAllowSettingsOverride: true
+        ElfloaderImage: "binary"
 
   IMX8MM_EVK:
     arch: arm