Accesso a RaspberryItaly

Salve a tutti vorrei sapere se è possibile cambiare l' os predefinito su noobs. Quando avvio il rpi l' os che è selezionato in automatico è raspbian, ma io vorrei impostarlo su libre elec, dato che vorrei usarlo con il telecomando della tv. Grazie in anticipo.

Ciao a tutti

Nel folle smanettamento della prima ora con TVheadend son sicuro di aver incocciato un menù in cui apparivano i canali TV ( o magari le frequenze ?? )
Il fatto è che ho disattivato il Canale 34 perchè qui si riceve il MUX RAI in VHF CH5 e la presenza del doppione sul sul 34 dava fastidio
Ora vorrei riabilitarlo ma non trovo il posto dove ho fatto 'sto accidente di manovra
Ringrazio anticipatamente

Nulla a che vedere ma sui miei TV appaiono sempre i doppioni e non c'è mo