It's really a distro isn't it? Linux kernel packaged with a set of userspace software (mostly in java) and bunch of non-java supporting bits making it work.
A custom Linux kernel, compiled with clang, where Rust is used without drama, and most drivers live on their own process talking with the Linux kernel via Binder IPC, microkernel style.
Which means most Android drivers are actually written in a mix of C++, Java and Rust, with a standard ABI, HAL.
