Habe mir jetzt einen Rasberry Pi3b gekauft. Es läuft LibreElec darauf. Kann das Gerät sogar direkt über die TV Fernbedienung steuern (Dank CEC).
LibreElec(Kodi) spielte bis jetzt alle Formate ab, außer 4k- das soll noch nicht funktionieren.