Editing Linux distribution (section)

===Linux-kernel-based operating systems===
Several operating systems include the Linux kernel, but have a userland that differs significantly from that of mainstream Linux distributions:

* [[Android (operating system)|Android]], Google's commercial operating system based on [[Android (operating system)|Android OSP]] that runs on many devices such as smartphones, smart TVs, set-top boxes.
** There are several third-party distributions of AOSP, in turn, including: [[LineageOS]], [[GrapheneOS]] and [[Android-x86]].
* [[ChromeOS]], Google's commercial operating system based on [[ChromiumOS]] that only runs on [[Chromebook]]s, [[Chromebox]]es and [[tablet computer]]s. Like [[Android (operating system)|Android]], it has the [[Google Play|Google Play Store]] and other [[Google Workspace|Google apps]]. Support for applications that require GNU compatibility is available through a virtual machine called Crostini and referred to by Google as Linux support, see {{Section link|Chromebook|Compatibility with Linux applications (GNU compatibility)}}.

Whether such operating systems count as a "Linux distribution" is a controversial topic. They use the Linux kernel, so the [[Linux Foundation]]<ref name="BDtXs">{{cite web |author=Ask AC: Is Android Linux? |url=http://www.androidcentral.com/ask-ac-android-linux |title=Ask AC: Is Android Linux? |publisher=Android Central |access-date=March 14, 2013 |archive-date=April 8, 2017 |archive-url=https://web.archive.org/web/20170408213437/http://www.androidcentral.com/ask-ac-android-linux |url-status=dead}}</ref> and [[Chris DiBona]],<ref name="Snohr">{{cite web |author=derStandard.at |url=http://derstandard.at/1308186313932/Interview-Google-Android-is-the-Linux-desktop-dream-come-true |title=Google: "Android is the Linux desktop dream come true" - Suchmaschinen - derStandard.at " Web |publisher=Derstandard.at |access-date=March 14, 2013 |archive-date=April 22, 2013 |archive-url=https://web.archive.org/web/20130422021245/http://derstandard.at/1308186313932/Interview-Google-Android-is-the-Linux-desktop-dream-come-true |url-status=live}}</ref> Google's former open-source chief, agree that Android is a Linux distribution; others, such as Google engineer Patrick Brady, disagree by noting the lack of support for many GNU tools in Android, including [[glibc]].<ref name="59omI">{{cite web |last=Paul |first=Ryan |url=https://arstechnica.com/gadgets/2009/02/an-introduction-to-google-android-for-developers/ |title=Dream(sheep++): A developer's introduction to Google Android |website=Ars Technica |date=February 24, 2009 |access-date=April 22, 2013 |archive-date=July 4, 2017 |archive-url=https://web.archive.org/web/20170704115615/https://arstechnica.com/gadgets/2009/02/an-introduction-to-google-android-for-developers/ |url-status=live}}</ref>

Other Linux-kernel-based operating systems include [[Tizen]], [[Mer (software distribution)|Mer]]/[[Sailfish OS]], [[KaiOS]] and [[Amazon (company)|Amazon's]] [[Amazon Kindle|Kindle firmware]].