He’s like if Edison and Henry Ford had a baby and it only inherited the worst parts of both.

Isn’t the Android port dead? Or did someone take it up?

Each kernel instance can run on dedicated CPU cores while sharing the underlying hardware resources.

This sounds like a recipe for spending decades tracking down bugs and obscure race conditions. The kernel is simply too massive, and with too many vendor-specific workarounds, for them to feasibly catch and ensure compliance for every call to raw hardware.