Comment by drnick1

Here is an alternative: put any Linux distro that packages Plasma Bigscreen on a old laptop or mini-PC. Add an HDMI-CEC for control with the TV's remote. It even comes with Ethernet!