@Jacopo non abbiamo informazioni dettagliate a riguardo sul sistema operativo denys OS che è un sistema dedicato per i decoder UCLAN si dovrebbe chiedere e/o cercare informazioni direttamente alla casa madre qui > https://uclan.it/#contact se ottieni info fai sapere potrebbero essere utili. saluti.