platforms: add RPi4 32-bit build

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