"There are lots of Linux users who don't care how the kernel works, but only want to use it. That is a tribute to how good Linux is."