It's not a Linux because consumer devices don't run kernels from kernel.org. At best it is "based on Linux", or maybe "Linux-compatible". This is an extremely

It's not a Linux because consumer devices don't run kernels from kernel.org. At best it is "based on Linux", or maybe "Linux-compatible". This is an extremely important distinction, because proprietary kernels and drivers is why you can't install a different Linux distribution on your Samsung or Xiaomi phone.