Zapomněl jsem zmínit - televizi si pořizuji z bazaru za výhodnou cenu a nová vlastně není - je tak 8 let stará

Já jen zopakuji, co jsem psal o víkendu na jiné diskusi:
Koupil jsem si nějaké mini PC Lenovo (na aukru za 4000,-) - i5/Haswell, 8GB RAM. Vrazil do toho staré SSD a připojil bezdrátovou klávesnici a myš.
Pro mě je daleko pohodlnější toto, než něco honit ovladačem. Teď jsem to zkoušel u rodičů (nejnovější O2 set-top box) a než vyhledám konkrétní pořad (ovladačem na klávesnici na obrazovce), tak zešedivím. Na PC to mám za 2 vteřiny. Troufnu si říci, že na tom funguje všechno (kromě OS specifických aplikací) - já provozuji Netflix, HBO Go, O2tv, stahuji z ulož.to, torrenty, můžu si připojit externí disk... Windows 10 mi startují okamžitě (to je časová jednotka, za kterou dojdu od TV ke gauči, pokud je PC vypnuté), nic se neseká (což se třeba o 02 set-top boxu říci nedá), žere to nula nula nic.
Něco takového je právě ta možnost 2. Akorát místo nekompaktní bezdrátové myši a klávesnice bych do USB připojil spájený Digispark s IR přijímačem a televizi ovládal přes ovladač. Při troše šikovného programování by šlo nastavit, aby se v textovém poli psalo přes čísla na ovladači podobně jak se píšou SMSky na tlačítkovém telefonu.
Má někdo zkušenosti s androidTV na Raspberry?