[mikewarot]

Yes, I am a long time (2005) fan of Capability Based Security.

Yes, Fuschia and Genode both have a way to go before they are good enough for general purpose use.