Yeah. It turns out, even Arm's A76, which is what the raspberry pi 5 uses, doesn't support a 32 bit kernel: https://www.theregister.com/2018/05/31/arm_cortex_a7

Yeah. It turns out, even Arm's A76, which is what the raspberry pi 5 uses, doesn't support a 32 bit kernel: https://www.theregister.com/2018/05/31/arm_cortex_a76/ https://www.theregister.com/2018/05/31/arm_cortex_a76/ That's no doubt why this is a big issue for ROOL, as the pi is one of the main things they run on. Very few people would buy something just to run RiscOS so they need a relatively common platform.