platforms: add RPi4 32-bit build

Signed-off-by: Axel Heider <[email protected]>
seL4 · Feb 29, 2024 · a828488 · a828488
1 parent 750696d
commit a828488
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