Linux kernel, not GNU/Linux, which is what folks trying to misuse NDK always get wrong.