sice sem nepsal o Android boxu, ale pokud pozadujes 4k a snadne reseni krome
Vero 4k (HW+SW od Linux+Kodi distra OSMC), na Android asi dojde... nemusis resit CPU ani RAM, ale GPU a podporu 4k + H265, osobne bych pak resil aby to melo novejsi Android (9?)... CPU asi Amlogic S905(nejlevnejsi), S912 nebo posledni(?) S922 , u Amlogic je pripadne i dobra sance zprovoznit neoficialne LibreELEC nebo OSMC (moc to ale nesleduju, tak nevim zda neni dnes vhodnejsi CPU, nebo jak jsou na tom RK)...
jeste asi sledovat, dle vlastni potreby zda to ma GigabitLAN, jakou Wifi, BT atd...
info o HW a/nebo recenze (nejen) TV Boxu:
https://www.cnx-software.composledni tam vidim "nabusenej"
https://www.cnx-software.com/2019/05/01/buy-vorke-gt-king-amlogic-s922x-tv-box/konkretni HW pak dohledavat treba tady:
https://www.gearbest.com/android-tv-box-_gear/EDIT: to jestli umi tva TV zpracovavat signal z HDMI Inputu a vyuzivat sve CPU si musis zjistit sam ;-) ale pokud pozadujes SW kterej neni v obchodu tveho dodavatele TV a neni ani neoficialni moznost, mas proste 2 moznosti, bud poridis 3rd box co ten SW podporuje, nebo pouzijes jinej SW nativni pro TV...