A "Dumb TV" that doesn't have any Android / set top OS on it. Plug a debian box into it via HDMI, and you're all set.