> unless someone invests in the missing pieces, sel4 usage will never become widespread. There's multiple efforts, such as Makatea[0], Genode[1] and sel4cp[2].

> unless someone invests in the missing pieces, sel4 usage will never become widespread. There's multiple efforts, such as Makatea[0], Genode[1] and sel4cp[2]. The seL4 foundation is finally well-established and funded thanks to increasing commercial interest[3]. There's been a lot of activity lately[4] and I'm very optimistic for it. 0. https://trustworthy.systems/projects/TS/makatea https://trustworthy.systems/projects/TS/makatea 1. https://www.genode.org/ https://www.genode.org/ 2. https://trustworthy.systems/projects/TS/sel4cp/ https://trustworthy.systems/projects/TS/sel4cp/ 3. https://sel4.systems/Foundation/Membership/ https://sel4.systems/Foundation/Membership/ 4. https://trustworthy.systems/news/ https://trustworthy.systems/news/