How do you define Linux? The Linux kernel runs on billions of Android phones. It's also runs on chromebooks which sell in high volumes to kids in the K-12 schools.
I was responding to someone else who’d talked about Linux, so I think the question is better directed their way.
However, they talked about Debian and put it in the category of Linux, and then specifically contrasted against Android as a separate thing, so I think we’re informally talking about the conventional desktop Gnu+SystemD+Too many other groups to list Linux ecosystem.
