cmake_tool: Add zcu102 support in simulator generator

Qemu is supporting the zcu102 developpment board. Signed-off-by: Jean-Christophe Dubois <[email protected]>
seL4 · Oct 29, 2024 · 6900810 · 6900810
1 parent bef85f3
commit 6900810
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/cmake-tool/helpers/simulation.cmake b/cmake-tool/helpers/simulation.cmake
@@ -110,6 +110,11 @@ function(GenerateSimulateScript)
         set(sim_serial_opt "-serial null -serial mon:stdio")
         set(sim_machine "xilinx-zynq-a9")
         SetDefaultMemSize("1024M")
+    elseif(KernelPlatformZynqmpZcu102)
+        set(QemuBinaryMachine "qemu-system-aarch64")
+        set(sim_serial_opt "-serial mon:stdio")
+        set(sim_machine "xlnx-zcu102")
+        SetDefaultMemSize("4096M")
     elseif(KernelPlatformWandQ)
         set(QemuBinaryMachine "qemu-system-arm")
         set(sim_serial_opt "-serial mon:stdio")