Jag skrev att han behövde några DVB-S2 kort som har just tuners.
TVheadend funkar utmärkt för skicka ut kanaler som IPTV i hela hemmet då jag har den lösningen själv.
Textning på alla kanaler funkar också då i Kodi vilket det inte gör med andra lösningar.