Isn't Linux a kernel, so Linux is Linux? And Android isn't using the kernel? So by that definition is embedded Linux not Linux because it doesn't provide the tools? Please help me out...