I had to look this up: Android is based on the Linux kernel.