I am a big fan which is why I am saying this: you're dismissing the kernel and ABI surface is a huge assumption that must hold true for your comment to hold stavros.
If you had said "unikernels" I would have had no arguments to make.
What do you mean? Statically linked programs depend on the kernel too.
What do you mean? Statically linked programs depend on the kernel too.