Le 10/06/2019 à 12:00, ajh-valmer a écrit :
On Monday 10 June 2019 09:34:05 didier gaumet wrote:Le 09/06/2019 à 17:35, ajh-valmer a écrit :Je ne comprends pas "GRUB BIOS".
C'est la variante de GRUB pour l'amorçage BIOS/legacy, dont les fichiers sont dans le paquet grub-pc-bin.
je suis en Stretch 32 bits
Le PC a-t-il un firmware UEFI 32 ou 64 bits ? Je ne parle pas du processeur ; c'est assez rare mais un PC avec un processeur 64 bits peut avoir un firmware UEFI 32 bits (comme un système d'exploitation 32 bits).
Si tu ne le sais pas, regarde dans le répertoire /EFI/BOOT de la partition système EFI (FAT) avec un système live ; s'il contient un fichier bootx64.efi, c'est un firmware 64 bits ; s'il contient un fichier bootia32.efi, c'est un firmware 32 bits. Il se peut que la variante de Windows 32 ou 64 bits doive correspondre, mais je n'en suis pas sûr.
Si c'est un firmware 64 bits, alors il n'est pas possible d'amorcer un installateur Debian 32 bits (i386) en mode EFI. On ne peut démarrer en mode EFI qu'avec un installateur 64 bits (amd64) ou l'installateur netinstall multi-arch i386+amd64.