It's still the Windows kernel. No Linux kernel here. Just Linux userspace. The name may not sound good, but it's technically accurate. :)