> and I now think that is android, not linux.

Android is Linux.