Well, if we REALLY start nitpicking there's plenty of devices that run Linux, it is just that they are lacking GNU/Linux.