Sounds like the real deal: https://www.linkedin.com/pulse/capabilities-os-security-google-fuchsia-lorens-kockum https://www.linkedin.com/pulse/capabilities-os-s

Sounds like the real deal: https://www.linkedin.com/pulse/capabilities-os-security-google-fuchsia-lorens-kockum https://www.linkedin.com/pulse/capabilities-os-security-goog... (I think this article made a small error in that an open-source KeyKOS release exists now, I think only for obsolete hardware.) OTOH the OP's table of contents gives me the impression that Fuchsia is more complex than the older capability OSes (KeyKOS family, seL4).