Not to interject, but when people talk about using "Linux" they're generally referring to desktop Linux (usually GNU/Linux). ChromeOS and SteamOS are Linux distros of a sort under the hood, but they're also highly curated experiences. Android technically uses the Linux kernel but architecturally it's so drastically different from basically any other system using it that it's quite misleading to call it "Linux" in the colloquial sense.