platforms: set ZCU102 image to binary

Signed-off-by: Ivan Velickovic <[email protected]>
seL4 · Jan 29, 2024 · 548da13 · 548da13
1 parent 3c3773b
commit 548da13
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/seL4-platforms/platforms.yml b/seL4-platforms/platforms.yml
@@ -224,6 +224,10 @@ platforms:
     platform: zynqmp
     req: [zcu102_2]
     march: armv8a
+    # The ZCU102 in machine queue expects a binary image
+    settings:
+        Sel4testAllowSettingsOverride: true
+        ElfloaderImage: "binary"
 
   ZYNQMP106:
     arch: arm