====== Linux sur HP Elitebook ======

===== Installation de Linux Mint avec UEFI sur HP Elitebook 820 =====


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 :
    - cocher la case "custom boot ..."
    - juste en-dessous, "Add custom option ..."
    - dans la nouvelle "page", renseigner : \EFI\ubuntu\grubx64.efi (éventuellement essayer aussi \EFI\ubuntu\shimx64.efi ). Voir capture 1
    - et dans la séquence de boot UEFI, placer le "custom boot ..." en 1er (voir capture 2)

{{ :hp:hpelitebookbiosboot2.jpg?600 |}}

{{ :hp:hpelitebookbiosboot1.jpg?600 |}}




Reboot.