Opa! Já temos TV digital em stick USB. Pena que oficialmente só tem suporte a Windows. Se alguém aí tentar no Linux, comenta aqui.

I had a problem at home: 2 HDMI devices, 1 HDMI input on my TV. Solution? An HDMI switch.

So, I bought the Terk HDMI-31 . The automatic switch works beautifully. It jumps to the most recently switched on device, and jumps back to the last active device when you turn off the current. It also has a button so that you can manually switch, in case your device does not support manual.

Simple solutions for complicated problems. Better than buying a hole new TV.