[lproven]

[OP/article author here]

RISC OS recently changed ownership and it is now fully open-source. The new owners have sponsored an improved version with more bundled software, called RISC OS Direct: https://www.riscosdev.com/direct/

[lsllc]

That's interesting. Digging around a bit for RISC OS Developments (the new owner), I found this interview with Tech Crunch that mentioned they were working with Pinebook on porting to that platform [0] (6th question down).

Now that would be interesting, a ~$200 laptop running RISC OS!

[0] https://www.techradar.com/uk/news/arms-original-operating-sy...