[Linux-31] installation debian 32 bits uefi

[Bernard Schoenacker]

Le Fri, 6 Nov 2015 00:11:37 +0100,
jdanield <jdanield at free.fr> a écrit :

> Le 05/11/2015 20:58, Joyce MARKOLL a écrit :
> 
> > Quelle version de Virtualbox ? Il y a une case à cocher dans les
> > préférences pour activer "EFI".
> >
> > Dans «Configuration > Système > Onglet Carte mère > case "Activer
> > EFI" (os spéciaux seulement»
> >
> > Est-ce coché chez toi ?  
> 
> oui, d'ailleurs la photo montre bien un bios uefi
> 
> et il ne s'est rien passé, j'ai lancé kde, regardé les menus et
> cliqué sur redémarrer
> 
> il va falloir que je regarde quelles sont les options du shell, je ne 
> trouve ni ls ni dir ni ?
> 
> :-(
> 
> merci
> jdd

bonjour,

que donne dmesg |grep kvm 

slt
bernard