RISC OS and NetBSD running on the same SoC