Assertion: linux operating system | /r/AtLocation | dvr
Facets:
Source sentences:
text: Linux operating systems are mostly used by servers, but they may also be found in video game systems, mobile phones, e-book readers, and DVRs.