[yjftsjthsd-h]

It uses a (slightly modified) Linux kernel, yes, although its user land is decidedly not GNU or particularly Unix-like.

[loeg]

Doesn't each phone basically ship its own modified Android-Linux with hacked up drivers specific to the model?

[Fnoord]

Ever since Project Treble it got standardized.

[yjftsjthsd-h]

I thought Treble just made the hacked up drivers use a standard ABI so you could combine them with a different userspace?