diff --git a/seL4-platforms/platforms.yml b/seL4-platforms/platforms.yml index 9c9a76ab..a7201085 100644 --- a/seL4-platforms/platforms.yml +++ b/seL4-platforms/platforms.yml @@ -273,7 +273,7 @@ platforms: RPI4: arch: arm - modes: [64] + modes: [32,64] platform: rpi4 req: [pi4B] image_platform: bcm2711