Heh, I just realized I unwittingly made the "sufficiently smart compiler" argument. The only reason a library OS would outperform a non-library OS is that softw

Heh, I just realized I unwittingly made the "sufficiently smart compiler" argument. The only reason a library OS would outperform a non-library OS is that software can do things faster than hardware. This compiler/VM would have to outperform the cpu at executing ... cpu instructions, which is never going to happen, or it would have to optimize better than the hardware can. In theory this is possible, in practice, in low-level optimized piece of software, like the kernel, this is never true. This just can't work, at least for the next few decades, but potentially forever.