I guess this is why Google is doing the right thing by working on its own microkernel. Similarly for Grsec guys, who forked Linux. Fundamental difference of op

I guess this is why Google is doing the right thing by working on its own microkernel. Similarly for Grsec guys, who forked Linux. Fundamental difference of opinions like these is why forks should happen in the open source world. I would like to see someone do a "LibreSSL" version of the Linux kernel, by cleaning it up of all the unneeded legacy cruft, modernizing its architecture, and making it more secure. I imagine only someone like Google (for servers, Chrome OS, and Android) or Microsoft (cloud services) could take on such a project, but of course they could only lead such a project. They would also need an alliance of partners to support the project. However, if they are committed to it and serious about making it way better from a security point of view, I could see many companies jumping ship from Linux Classic, especially in the automotive and IoT worlds, also also from web hosting world, and so on. Alternatively, perhaps the large companies could start supporting Rust OS/kernels such as Redox.