DietPi Raspbian alternativeDocumentaciónPlacas SBCDietPiAlternativa ligera a Raspberry OS 3 minutos de lectura