Comment by lmm

> The Linux kernel is de facto pretty tightly coupled with GNU stuff

No it isn't. They go to great lengths to e.g. make sure they can be built with clang and not just gcc. And in the other direction, prior to systemd you could even swap out Linux on Debian for a different kernel.