Linux sur HP Elitebook

Scénario : vous souhaitez installer Linux Mint sur un HP Elitebook 820. Plusiurs générations existent.

Problème rencontré : l'installation se passe bien, mais l'ordinateur boucle au redémarrage. Pour démarrer éventuellement sur Mint, il faut faire F9, puis choisir “Ubuntu” dans a liste des choix. C'est possible mais assez fastidieux.

Pour corriger le problème, il faut :

• Rentrer dans le BIOS
• dans le menu des options de démarrage :
  1. cocher la case “custom boot …”
  2. juste en-dessous, “Add custom option …”
  3. dans la nouvelle “page”, renseigner : \EFI\ubuntu\grubx64.efi (éventuellement essayer aussi \EFI\ubuntu\shimx64.efi ). Voir capture 1
  4. et dans la séquence de boot UEFI, placer le “custom boot …” en 1er (voir capture 2)

Reboot.