Als kleine alternative könnte man sich einfach ein RPI oder ein BPI kaufen und das an den Fernseher klemmen.
Wäre recht günstig, kann an so gut wie jedes Gerät angeschlossen werden und ist vielseitig einsetzbar.

Vielleicht ist das ja für dein ein oder anderen Interessant.