The point I was trying to make toward using Genode as a starting point would be that we could replace bits and pieces as we go. Yes, Genode is AGPL and uses GPL drivers from Linux. I don’t like the licenses but the possibility of offering a secure OS on a phone other than Linux sounds appealing to me. I’ve heard of the 5 Eyes governments as using tainted drivers as a means of spying on people so having completely open-source drivers and making them use micro-kernel user-spaces for their memory spaces sounds like it would be one means of hardening the PinePhone against invasion.