Without Linux, Android would have used something else; likely BSD. iOS is a variant of BSD as well, albeit with a different kernel core.