[Linux-31] installation debian 32 bits uefi

[Pascal Hambourg]

Joyce MARKOLL a écrit :
> On Thu, 5 Nov 2015 20:47:34 +0100
> jdd <jdd at dodin.org> wrote:
> 
>> j'essaie d'installer une debian uefi 32 bits sur Virtualbox.
>>
>> tout se passe très bien, le premier redémarrage me donne kde...
>>
>> mais le deuxième ne passe pas le bios.

Que s'est-il passé entre les deux redémarrages ?

>> J'obtiens ca:
>>
>> http://dodin.org/owncloud/index.php/s/EP32dhR4MuA46VU
>>
>> et ca en reste là
>>
>> une idée? le "bios" de virtualbox n'est pas très explicite :-(
> 
> Quelle version de Virtualbox ? Il y a une case à cocher dans les préférences pour activer
> "EFI". 

C'est un shell (U)EFI, donc le démarrage en mode EFI est forcément
activé. Ça ressemble un peu au shell de DOS avec cd, dir... et cela
permet de lancer le chargeur d'amorçage (GRUB) s'il existe encore.