There are more than a dozen different operating systems that can run on the PinePhone at the moment, and most of them have one thing in common: a Linux kernel. But later this year you may be able to install something a little different. Genode is a free and open source, security-focused operating system framework […]