1) Server linux
2) tyle dongli USB DVB-T ile planujesz użytkowników
3) vdr, tvheadend, Myth lub podobne - jako server
4) jako klient - to zależy jaki server, do vdr jest np Vomp, ale można
używać VLC (streamdev)

Jako bonus masz nagrywarkę.

Nie wiem natomiast jak rozwiązane jest posiadanie kilka takich samych
kanałów na różnych urządzeniach. Na pewno można mieć np 3xtvp1 różnie
nazwane i umówić się na swoją pulę kanałów, ale być może serwery są na
tyle mądre że potrafią zrozumieć iż są to te same kanały i inteligentnie
zarządzać ich przydzielaniem. Ponieważ nigdy nie miałem zdublowanych
urządzeń z tymi samymi kanałami - to tego nie sprawdzałem i sam jestem
ciekaw.
Marx