Been doing some #RISCOS development this evening. My Bush IBX100 booted into RISC OS 5 (32-bit) for the first time!