Are there any plans to port RISC OS to any of the Libre computer boards?
We do not directly support anything other than Linux. You can ask on their forum.