Ich gestehe ich habe nicht alles ganz intensiv gelesen, aber HDTV (öffentlich-rechtlich) und S2 am Raspberry Pi geht z. B. mit den USB-Empfängern von TechnoTrend. So eine Kiste oder Vorgängermodell setze ich selbst seit ungefähr 4 Jahren ein mit TvHeadend als PVR-Software. Läuft. Und Domoticz und MQTT und SNIPS und ein Python-Skript, das permanent am MQTT-Broker lauscht und Sprachausgaben zusammen mit SNIPS steuert. Alles auf einem Pi 3 im 24/7 Betrieb...
https://otagle.com/dvbsky-s960-v2…x-dvb-s2-tuner/. Zum Thema IR kann ich leider nix sagen.