From 2a5f3a0d3fb10d6e1aeaf8ec5e85add73e7211a1 Mon Sep 17 00:00:00 2001
From: Axel Heider <axel-h@users.noreply.github.com>
Date: Wed, 25 Oct 2023 01:44:43 +0200
Subject: [PATCH] platforms: add RISCVVIRT32 for QEMU RISC-V virt (#234)

Signed-off-by: Axel Heider <axel.heider@hensoldt.net>
Co-authored-by: Axel Heider <axel.heider@hensoldt.net>
---
 seL4-platforms/platforms.yml | 9 +++++++++
 1 file changed, 9 insertions(+)

diff --git a/seL4-platforms/platforms.yml b/seL4-platforms/platforms.yml
index 27b6f1e2..50fb362b 100644
--- 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]