RISC OS Developments had a collection of RISC OS Direct SD Cards available for use on a Raspberry Pi.