Io non ho capito la questione tvheadend. Esso a cosa serve? A trasmettere lo stream ad altri dispositivi? Quindi nel caso volessi vedere il dtt direttamente da raspberry con kodi, non avrei bisogno di tvheadend impostato come server, giusto?