[inlineint]

Android patches had been merged into upstream a few years ago [1], so its kernel is actually Linux now, not a fork.

[1] https://kernelnewbies.org/Linux_3.3#head-b733d694037e0b34ad4...