And not Linux, the kernel.org kernel, either.

Linux, the bastardized Android kernel, with thousands and thousands of dubious non-upstreamed patches.

To be fair, hardware vendors are forking the kernel, not Android (as much). The AOSP is very close to mainline Linux, with some config knobs turned differently.

At least it is more safer by default than any Linux distribution, and does have a proper driver ABI.