So when using POSIX, or any other programming model rich enough not to mess with OS specific APIs, the OS becomes irrelevant.
It can be Linux, Windows, Aix, OS/400, z/OS, or even bare metal, it doesn't matter.
Except that things like systemd and a lot of redhat related software rely on Linux-specific functions like cgroups so they are not portable. Good luck replacing Linux even if something that much better comes up.
Same applies to the C, C++, Fortran and now Chapel code that usually runs on HPC clusters.
As pointed out before, mainframes have OSs that are exceedingly simple from the program's point of view and that offer a limited set of functions in exchange for extreme performance and stability.
The fact we got it right most of the time, for most of the hardware combinations we use, does not make it any simpler, faster, or more reliable.
When I mentioned mainframe OSs, I was not talking about hypothetical new OSs but technology that has consistently excelled for decades now.
Linux itself is not going away simply because replacing all those device drivers and ABIs is going to be incredibly difficult. Now, if you’re suggesting something new will sit atop Linux as the user land acting as a sandwich-filling between the Linux kernel and a multitude of userlands spanning many systems- I might agree.