Vorrei utilizzare un vecchio pc come media box per lo streaming collegato al tv di casa; esiste un sistema operativo vero e proprio leggero da installare senza dover per forza utilizzare windows?