mini.iso con boot su firmware UEFI

[BubuXP]

Tutte le immagini iso di installazione che ho provato (passandole su chiavetta usb) si avviano normalmente sui sistemi UEFI, disattivando il modulo di supporto della compatibilità (il CSM, che emula i vecchi BIOS).
Tutte tranne le mini.iso. Il problema è la mancanza della directory /efi/boot/ e del file bootx64.efi al suo interno.
Quella directory può stare ovunque sulla chiavetta, l'importante è che si trovi in un file system leggibile dall'UEFI.
Su un CD ciò non si potrebbe modificare, a meno di modificare la iso prima di masterizzarla, ma su chiavetta usb invece possiamo. E siamo anche facilitati, in quanto dopo aver passato la mini.iso su chiavetta usb, verrà già creata la partizione Firmware in FAT12 (leggibile da UEFI) che possiamo usare.
Il metodo più veloce è estrarre il file /boot/grub/efi.img contenuto nella mini.iso con:

Codice: Seleziona tutto

$ isoinfo -J -i /percorso/mini.iso -x /boot/grub/efi.img > /percorso/efi.img

poi cambiare directory corrente entrando nella partizione Firmware (dopo averla montata):

Codice: Seleziona tutto

$ cd /media/nomeutente/Firmware/

ed estrarre il contenuto di efi.img in loco:

Codice: Seleziona tutto

$ 7z x /percorso/efi.img

Ma in quale guida e sottosezione andrebbero scritti questi dettagli?

[HAL 9000]

Questa è quella che si avvicina di più, secondo me: http://guide.debianizzati.org/index.php ... _o_SD_card

Potresti aggiungere una sezione lì, oppure va creata una nuova guida da aggiungere allo stesso template. E forse sarebbe più facile da trovare una guida con UEFI nel titolo.

[BubuXP]

Ok, appena ho tempo faccio una nuova pagina su come installare in generale Debian su pc UEFI senza retrocompatibilità BIOS (un paragrafetto dove cito dell'esistenza del CSM lo metto). E ci metto anche il caso di dual-boot con Windows.
Non essendo molto diversa la procedura da quella tradizionale non dovrebbe essere molto grande, e ci sarà molta teoria.

Se avete qualche obiezione/correzione/puntualizzazione da fare (del tipo "esiste già una pagina simile", oppure "meglio inserire il materiale nelle guide già esistenti"), avete qualche giorno di tempo per dirmelo, o se volete anticiparmi è anche meglio

[HAL 9000]

Cercando UEFI sulla nostra Wiki si ottengono solo tre risultati, e nessuno rilevante per quello che vuoi fare (c'è però un link a un programma in Tabella Software da usarsi sotto Windows per creare live avviabili con UEFI, non so se ti può essere utile).
Ignoro completamente però tutto ciò che è relativo a questo tipo di problemi e non potrei neanche verificare la guida, avendo hardware troppo vecchio.

[BubuXP]

Guida finita, devo solo trovare un buon titolo. Al momento è "Installare Debian su PC con firmware UEFI" ma si potrebbe anche accorciare in "Installare Debian con UEFI". Suggerite prima che crei la pagina.

Poi credo che la guida andrebbe a finire qui, ma in quale sezione? In "Altro" o in "Casi specifici"?
http://guide.debianizzati.org/index.php ... tallazione

[HAL 9000]

Io la metterei proprio in quella principale ("Preparazione"), sotto all'altra guida che viene richiamata, così che sia ben visibile. E complimenti per la guida!

Come titolo scegli il più corto che includa "UEFI", così che si possa trovare facilmente con una ricerca e non ingrandisca troppo la colonna del menù orizzontale.

[dring]

secondo me il titolo più adatto è
"Installare Debian con firmware UEFI"
firmware va bene perché fa capire meglio cosa è EFI.

quanto alla sezione non sono sicuro.
non ho capito se la guida è centrata solo su mini.iso con uefi o uefi in generale.

[BubuXP]

http://guide.debianizzati.org/index.php ... mware_UEFI

La guida parla di un'installazione in generale. Volevo esporre quel caso particolare ma ho visto che mancava del tutto una guida sull'efi. Dagli un'occhiata e dimmi cosa si può cambiare o migliorare (oppure se hai accesso al wiki modifica tu stesso).

[Selky]

Dopo varie discussioni lette sul forum di persone che usano una live per installare Debian, ho inserito tra le immagini che non supportano UEFI anche la live.

Fonte: UEFI support in live images

[Selky]

Aggiornato nota riguardante le immagini live. Stretch live supporta UEFI.
Date un'occhiata se può andare. altrimenti modificate in maniera più chiara

Tutto il resto non sono in grado di testarlo.