Wir haben jetzt zu Hause diesen Receiver an einen Raspberry Pi 3 angeschlossen.
https://www.amazon.de/gp/product/B01M00X69Z/
Auf dem Raspberry Pi läuft libreelec mit tvheadend server und client, so dass wir entweder direkt über den am Fernseher angeschlossenen Raspberry Pi fernsehen können oder aber das Signal auf ein Tablet mit installiertem Kodi und tvheadend client übertragen. Funktioniert problemlos.
Der Receiver hat ein 12V Netzteil, sollte also auch ans Bordnetz angeschlossen werden können.
Schöne Grüße
Uwe
Danke für den sehr heißen Tipp! Vielleicht mache ich das auch genauso.