Assertion: operating system | /r/HasProperty | based on linux
Facets:
Source sentences:
text: Several operating systems for smart devices, such as smartphones, tablet computers, home automation (like Google Nest), smart TVs (Samsung and LG Smart TVs use Tizen and WebOS, respectively), and in-vehicle infotainment (IVI) systems (for example Automotive Grade Linux), are based on Linux.
text: The operating system is based on Linux but the platform is closed source.
text: Many operating systems today, including Android, Chrome OS, Steam OS, and a huge amount of embedded operating systems for devices, are based on Linux.