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/
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!
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/