Welcome to RISC OS Pi in Documentation. Ok, quite cute - RISC OS now as a system for the Raspberry Pi. On the other hand, it probably has better performance than the old Acorn machines had back then.