Good questions. I guess if you can trademark Apple, you can trademark kernel. But just as you don't have to respect the Apple trademark when talking about apple

Good questions. I guess if you can trademark Apple, you can trademark kernel. But just as you don't have to respect the Apple trademark when talking about apples, I doubt you have to respect a kernel trademark when talking about kernels.