platforms: add RPi4 32-bit build

Signed-off-by: Axel Heider <[email protected]>
seL4 · Jun 14, 2024 · a669238 · a669238
1 parent 35d57c6
commit a669238
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