simulation: Add support for i.mx7 simulation through Qemu

Qemu now supports i.mx7d Sabre platform. Signed-off-by: Jean-Christophe Dubois <jcd@tribudubois.net>
seL4 · Oct 8, 2024 · 3edf12d · 3edf12d
1 parent bef85f3
commit 3edf12d
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/cmake-tool/helpers/simulation.cmake b/cmake-tool/helpers/simulation.cmake
@@ -115,6 +115,11 @@ function(GenerateSimulateScript)
         set(sim_serial_opt "-serial mon:stdio")
         set(sim_machine "sabrelite")
         SetDefaultMemSize("2048M")
+    elseif(KernelPlatImx7)
+        set(QemuBinaryMachine "qemu-system-arm")
+        set(sim_serial_opt "-serial mon:stdio")
+        set(sim_machine "mcimx7d-sabre")
+        SetDefaultMemSize("2048M")
     elseif(KernelPlatformRpi3 AND KernelSel4ArchAarch64)
         set(QemuBinaryMachine "qemu-system-aarch64")
         set(sim_serial_opt "-serial null -serial mon:stdio")