[Raymonf]

Android is now developed with the mainline kernel: https://source.android.com/devices/architecture/kernel/andro...

Android has been Linux, and it's even more Linux now than before.