Skip to main content

Menu de démarrage du BIOS

Pour l'installation de PrimTux depuis une clé USB, on peut avoir besoin de lancer le menu de démarrage du BIOS
 
Pour y accéder, cela ne peut se faire qu'au moment de l'allumage du PC et ceci pendant un bref laps de temps (quelques secondes) en appuyant sur une touche particulière du clavier. Parfois, on voit s'afficher un message furtif en bas de l'écran nous indiquant sur quelles touches appuyer.
Ces touches varient selon les modèles d'ordinateurs : souvent c'est "Esc", "F1","F2", "F8" ou "F9" mais ce n'est pas garantie. 
Il existe aussi une touche, souvent la "F12" qui permet de choisir sur quel périphérique l'ordinateur doit démarrer : soit le disque dur, soit une clé USB ou soit le réseau. Ceci permet de tester la clé USB sans aller trifouiller dans le BIOS mais si ça ne marche pas, on n'aura pas d'autre choix que d'aller paramétrer le BIOS pour permettre l'installation de Primtux. 
Remarque : si l'on rate la fenêtre de tir pour rentrer dans le BIOS, il n'y a pas d'autre choix que de redémarrer l'ordinateur. On y arrive très rarement du premier coup.
 
Le menu de démarrage  peut présenter un aspect différent selon les paramètres du BIOS. 
 
Si le mode Legacy (ou mode CSM, Compatibility Support Module) est activé, on aura le menu suivant :
boot01.png

Si le mode UEFI est activé, ou le mode CSM désactivé, on aura le menu suivant :
boot02.png

On doit repérer à quelle entrée du menu correspond la clé USB.
Dans les illustrations précédentes, voici à quoi correspondent les entrées :
boot03.png
On voit que la clé USB peut démarrer selon deux modes si l'on a autorisé le mode legacy. Dès lors, quel mode choisir ?
Ce choix déterminera le mode d'installation du système, et aura donc des conséquences sur son démarrage après installation.

Voici un tableau synthétisant cela.


Après installation, le système va-t-il démarrer en mode
J'ai démarré la clé USB en mode legacy UEFI automatique (on ne passe pas par le menu de démarrage)
legacy oui oui ou non selon les BIOS oui
UEFI non oui non

La pile qui maintient les informations du BIOS peut se décharger au bout de quelques années.
Dans ce cas, le BIOS est réinitialisé à ses valeurs par défaut. En conséquence le système peut ne pas démarrer selon le type d'installation que l'on a faite. Il faudra alors remodifier les paramètres du BIOS après avoir changé la pile.