From e1d64492a973a03a3a13be9f416cffb81c30d16f Mon Sep 17 00:00:00 2001
From: Axel Heider <axelheider@gmx.de>
Date: Tue, 14 Nov 2023 03:44:05 +0100
Subject: [PATCH] platforms: add RPi4 32-bit build

Signed-off-by: Axel Heider <axelheider@gmx.de>
---
 seL4-platforms/platforms.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/seL4-platforms/platforms.yml b/seL4-platforms/platforms.yml
index 9c9a76ab..a7201085 100644
--- a/seL4-platforms/platforms.yml
+++ b/seL4-platforms/platforms.yml
@@ -273,7 +273,7 @@ platforms:
 
   RPI4:
     arch: arm
-    modes: [64]
+    modes: [32,64]
     platform: rpi4
     req: [pi4B]
     image_platform: bcm2711