I think I understand it now.... There is GNU/Linux and there is Android/Linux and whatever other operating system that needs a kernel/Linux. Right?