Something like Genode has the correct security foundation, though I'm not sure how practical it is to use as day-to-day OS yet: https://genode.org/ https://geno

Something like Genode has the correct security foundation, though I'm not sure how practical it is to use as day-to-day OS yet: https://genode.org/ https://genode.org/