platforms: add RPi4 32-bit build

Signed-off-by: Axel Heider <axelheider@gmx.de>
seL4 · Jan 11, 2024 · 3fa4cd4 · 3fa4cd4
1 parent f781856
commit 3fa4cd4
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/seL4-platforms/platforms.yml b/seL4-platforms/platforms.yml
@@ -255,7 +255,7 @@ platforms:
 
   RPI4:
     arch: arm
-    modes: [64]
+    modes: [32,64]
     platform: rpi4
     req: [pi4B]
     image_platform: bcm2711