[flagged]

Can we please get a fraction of the resources currently put into Linux kernel development and start developing a robust userland ecosystem for SeL4?

Microkernels in general already mitigate the possible damage that could be done by rogue code in large monolithic kernels. A formally verified microkernel like SeL4 is an even better guarantee. And performance concerns of microkernels are practically solved at this point.

These sorts of nation-state sponsored malicious code practices could be made mostly irrelevant. We just need a little momentum to get us there.