platforms: add RPi4 32-bit build

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