So kleiner Zwischenstand:
HTPC läuft soweit problemlos. Man muss allerdings die neueste Alpha von LibreElec verwenden, da der Kernel bei der Releaseversion das Board nicht unterstützt und dadurch unendlich langsam ist.
Die Rii mini i13 ist vollkommen unbrauchbar, da nur die Tastatur Funk hat der Rest nur über Infrarot geht. Das habe ich leider in der Produktbeschreibung übersehen Hab jetzt die mini i7 und die gefällt mir.
Die Tunerkarte habe ich nicht in den HTPC gebaut sondern in meinen Server und per PCI Passthrough in eine Virtuelle Maschine weitergeleitet. Klappt soweit auch ganz gut.
Nochmal wegen 4K DVBs. Digital Devices macht ja explizit damit Werbung:
QPSK bis 67,5 MSym mit bis zu 180 MBit/s pro Kanal (für neue UltraHD-Transponder)
Die DVBSky kann "nur" 45 MSym. Kann da jemand was dazu sagen? Weil im Netz habe ich nichts passendes dazu gefunden.