If you want Android OS then go for it. I stay with the Linux OS where I have been learning all its library base for 20 years and I have a lot of my own codebase I do not plan to waster time porting to Android OS (if it is possible at all). So I use N900 with Maemo - that is Linux _OS_ and I will use Jolla after I get TOHKBD this month as it is also Linux _OS_. Nobody cares about what is / is not using Linux kernel, how do you find out what kernel is that device running on? And why do you care? Android is Android, that it runs on Linux kernel is irrelevant. Even in the OS you use kernel syscalls always via libc interface.