So. A Minecraft is an OS? It runs userspace stuff (mods).
What you are missing is that Linux on Android doesn't do what a normal OS is supposed to do:
- multiplex hardware resources
- abstract hardware
- protect software running on it from each other
Last time Android tried to control user resources it led to a gross vulnerability, because it wasn't aware another piece of software was actually managing it.
It's essentially locked in the attic of Android, while everyone else is roleplaying that Linux is still the operating system.
If you want to be this pedantic then GNU/Linux also isn't an OS. Debian is an OS, Arch is an OS. NixOS is an OS. Such statement muddy the water to the point of no longer matching at all what people mean. Because when people talk they don't use the 100% correct technical term.
So what's your point? When people say linux. You take it to mean GNU/Linux. And that honestly comes out of nowhere. At my work we use a ton of embedded devices that don't use GNU but instead use things like busybox. Everyone refers to them as Linux systems.
Android is Linux system in every single way. It's not however a GNU/Linux system. But the comment you originally replied didn't claim that.
What you are missing is that Linux on Android doesn't do what a normal OS is supposed to do:
- multiplex hardware resources
- abstract hardware
- protect software running on it from each other
Last time Android tried to control user resources it led to a gross vulnerability, because it wasn't aware another piece of software was actually managing it.
It's essentially locked in the attic of Android, while everyone else is roleplaying that Linux is still the operating system.