LG and Samsung both use Linux for their Smart OS and there are a few Android TVs.

Also, fun fact, my cable boxes from Verizon also run Linux :P