Before revision: TiVo DVR, a consumer device running Linux 150px|Galaxy Nexus , an Android smartphone (Android is based on the Linux kernel) Linux-based devices or Linux devices are computer appliances that are powered by the Linux kernel and possibly parts of the GNU operating system.
After revision: TiVo DVR, a consumer device running Linux RFile:Samsung Galaxy Nexus Linux-based devices or Linux devices are computer appliances that are powered by the Linux kernel and possibly parts of the GNU operating system.