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 wit

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-system-goes-open-source https://www.techradar.com/uk/news/arms-original-operating-sy...