rigacci.org

Su questi portatili con disco SSD è necessario installare una versione recente di Debian, altrimenti il disco non viene riconosciuto.

La prima installazione (fallita) è stata tentata avendo impostato nel BIOS il Boot Mode Legacy.

Si avvia con una chiavetta USB Netinst di Stretch e si sceglie l'opzione Graphical Install. È necessario passare il parametro edd=off, altrimenti il programma di installazione non parte: premere TAB sul menu di avvio e quindi aggiungere il parametro alla fine della riga di comando kernel.

L'installazione va a buon fine senza errori, ma al primo riavvio tutto si blocca al caricamento della ramdisk iniziale:

Loading initial ramdisk ...

Sembra proprio che ci sia una incompatibilità con il software e la Boot Mode Legacy. Si deve attivare quindi la modalità UEFI seguendo questa procedura piuttosto intricata:

1. Accendere il PC e premere F2 per entrare nel BIOS
2. Boot ⇒ Boot Mode ⇒ UEFI
3. Se si riavvia otteniamo il messaggio Secure Boot Fail, non è possibile avviare né da hard disk né da chiavetta USB.
4. Spengere, riaccendre e premere F2 per entrare nel BIOS
5. Security ⇒ Set Supervisor Password (impostare una password del BIOS, altrimenti è impossibile disabilitare il Secure Boot).
6. Boot ⇒ Secure Boot ⇒ Disabled
7. Verificare che la priorità di boot sia USB HDD.
8. Riavviare. Parte il programma di installazione da USB, non è necessaria l'opzione edd=off.

Durante l'installazione si sceglie di utilizzare il metodo EFI per il partizionamento del disco.

: Documentare come viene partizionato il disco.

: Al termine si deve aggiungere il sistema operativo appena installato all'elenco delle voci UEFI.

Invece di usare Unetbootin (che può causare diversi problemi) è preferibile copiare l'immagine ISO direttamente su una chiavetta USB. Si copia sul device intero, non su una partizione:

cp image.iso /dev/sdX