Good news for Raspberry Pi owners (ha!): the RISC OS port is progressing along nicely. So much so, in fact, that a Raspberry Pi-based RISC OS machine is in the works. Stable beta release of RISC OS for the Pi planned for September!