From 6e45b1dc98597e2689b0ba458cd19d1e2ac49d02 Mon Sep 17 00:00:00 2001
From: Ivan Velickovic <i.velickovic@unsw.edu.au>
Date: Mon, 29 Jan 2024 14:38:03 +1100
Subject: [PATCH] platforms: set ZCU102 image to binary

Signed-off-by: Ivan Velickovic <i.velickovic@unsw.edu.au>
---
 seL4-platforms/platforms.yml | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/seL4-platforms/platforms.yml b/seL4-platforms/platforms.yml
index 783b1d81..321fa190 100644
--- a/seL4-platforms/platforms.yml
+++ b/seL4-platforms/platforms.yml
@@ -223,6 +223,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