diff --git a/seL4-platforms/platforms.yml b/seL4-platforms/platforms.yml
index 7c12e1c0..b6732cba 100644
--- 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