RPi4 mám doma ve verzi 4GB (jsou tam i tunery přes USB, které Tě ale nezajímají a streamuje mi to do domácí sítě) funguje výborně.
Na něj je nejvíc nejnovější Libreelec s nejvíc nejnovějším Kodi.
Jo a potřebuješ k němu kabel...
Odroid C2 funguje taky výborně, ale je pro něj starší Librelec a Kodi.
K němu je ale potřeba jinej kabel.
Oba dva mi bez problémů s asi 12 let starým modelem FullHD Samsung telky přijímají HDMI-CEC povely.
Otázkou je Tvůj požadavek na IPTV. Kodi má spoustu pluginů, oficiální jsou v pohodě, u neoficiálních je to sázka.
Nabízí Tvůj provider IPTV plugin? Mě například začalo asi před rokem a půl spamovat Lepší.TV. A furt nemaj plugin.
Pokaždý se jich zeptám a furt není.
Tak aby to nebyl i Tvůj případ...