platforms: add RISCVVIRT32 for QEMU RISC-V virt

Signed-off-by: Axel Heider <[email protected]>
seL4 · Nov 13, 2022 · 390a7c6 · 390a7c6
1 parent ced0247
commit 390a7c6
Showing 1 changed file with 9 additions and 0 deletions.
diff --git a/seL4-platforms/platforms.yml b/seL4-platforms/platforms.yml
@@ -50,6 +50,15 @@ platforms:
     disabled: true
     no_hw_build: true
 
+  RISCVVIRT32:
+    arch: riscv
+    modes: [32]
+    platform: qemu-riscv-virt
+    simulation_binary: qemu-riscv-virt32
+    march: rv32imac
+    disabled: true
+    no_hw_build: true
+
   HIFIVE:
     arch: riscv
     modes: [64]