Suivant: , Précédent: , Monter: Configuration système   [Table des matières][Index]


8.13 Configuration du chargeur d’amorçage

Le système d’exploitation supporte plusieurs chargeurs d’amorçage. La configuration du chargeur d’amorçage se fait avec la déclaration bootloader-configuration. Tous les champs de cette structure sont indépendants du chargeur d’amorçage sauf un, bootloader qui indique le chargeur d’amorçage à configurer et à installer.

Certains chargeurs d’amorçage ne respectent pas tous les champs de bootloader-configuration. Par exemple, le chargeur d’amorçage extlinux ne supporte pas les thèmes et ignore donc le champ theme.

Type de données : bootloader-configuration

Le type d’une déclaration de configuration de chargeur d’amorçage.

bootloader

Le chargeur d’amorçage à utiliser, comme objet bootloader. Pour l’instant grub-bootloader, grub-efi-bootloader, extlinux-bootloader et u-boot-bootloader sont supportés.

grub-efi-bootloader permet de démarrer sur un système moderne qui utilise l’UEFI (Unified Extensible Firmware Interface). C’est ce que vous devriez utiliser si l’image d’installation contient un répertoire /sys/firmware/efi lorsque vous démarrez dessus sur votre machine.

grub-bootloader vous permet de démarrer en particulier sur des machines Intel en mode BIOS « legacy ».

Les chargeurs d’amorçage disponibles sont décrits dans les modules (gnu bootloader …). En particulier, (gnu bootloader u-boot) contient des définitions de chargeurs d’amorçage pour une large gamme de systèmes ARM et AArch, à l’aide du chargeur d’amorçage U-Boot

target

C’est une chaîne qui dénote la cible sur laquelle installer le chargeur d’amorçage.

L’interprétation dépend du chargeur d’amorçage en question. Pour grub-bootloader par exemple, cela devrait être un nom de périphérique compris par la commande installer du chargeur d’amorçage, comme /dev/sda ou (hd0) (voir Invoking grub-install dans GNU GRUB Manual). Pour grub-efi-bootloader, cela devrait être le point de montage du système de fichiers EFI, typiquement /boot/efi.

menu-entries (par défaut : ())

Une liste éventuellement vide d’objets menu-entry (voir plus bas), dénotant les entrées qui doivent apparaître dans le menu du chargeur d’amorçage, en plus de l’entrée pour le système actuel et l’entrée pointant vers les générations précédentes.

default-entry (par défaut : 0)

L’index de l’entrée du menu de démarrage par défaut. L’index 0 correspond au système actuel.

timeout (par défaut : 5)

Le nombre de secondes à attendre une entrée clavier avant de démarrer. Indiquez 0 pour démarre immédiatement, et -1 pour attendre indéfiniment.

keyboard-layout (par défaut : #f)

Si c’est #f, le menu du chargeur d’amorçage (s’il y en a un) utilise la disposition du clavier par défaut, normalement pour l’anglais américain (« qwerty »).

Sinon, cela doit être un objet keyboard-layout (voir Disposition du clavier).

Remarque : Cette option est actuellement ignorée par les chargeurs d’amorçage autre que grub et grub-efi.

theme (par défaut : #f)

L’objet de thème du chargeur d’amorçage décrivant le thème utilisé. Si aucun thème n’est fournit, certains chargeurs d’amorçage peuvent utiliser un thème par défaut, c’est le cas de GRUB.

terminal-outputs (default: '(gfxterm))

Les terminaux de sortie utilisés par le menu de démarrage du chargeur d’amorçage, en tant que liste de symboles. GRUB accepte les valeurs console, serial, serial_{0-3}, gfxterm, vga_text, mda_text, morse et pkmodem. Ce champ correspond à la variable GRUB GRUB_TERMINAL_OUTPUT (voir Simple configuration dans GNU GRUB manual).

terminal-inputs (par défaut : '())

Les terminaux d’entrée utilisés par le menu de démarrage du chargeur d’amorçage, en tant que liste de symboles. Pour GRUB, la valeur par défaut est le terminal natif de la plate-forme déterminé à l’exécution. GRUB accepte les valeurs console, serial, serial_{0-3}, at_keyboard et usb_keyboard. Ce champ correspond à la variable GRUB GRUB_TERMINAL_INPUT (voir Simple configuration dans GNU GRUB manual).

serial-unit (par défaut : #f)

L’unitié série utilisée par le chargeur d’amorçage, en tant qu’entier entre 0 et 3. Pour GRUB, il est choisi à l’exécution ; actuellement GRUB choisi 0, ce qui correspond à COM1 (voir Serial terminal dans GNU GRUB manual).

serial-speed (par défaut : #f)

La vitesse de l’interface série, en tant qu’entier. Pour GRUB, la valeur par défaut est choisie à l’exécution ; actuellement GRUB choisi 9600 bps (voir Serial terminal dans GNU GRUB manual).

Si vous voulez lister des entrées du menu de démarrage supplémentaires via le champ menu-entries ci-dessus, vous devrez les créer avec la forme menu-entry. Par exemple, imaginons que vous souhaitiez pouvoir démarrer sur une autre distro (c’est difficile à concevoir !), vous pourriez alors définir une entrée du menu comme ceci :

(menu-entry
  (label "L'autre distro")
  (linux "/boot/old/vmlinux-2.6.32")
  (linux-arguments '("root=/dev/sda2"))
  (initrd "/boot/old/initrd"))

Les détails suivent.

Type de données : menu-entry

Le type d’une entrée dans le menu du chargeur d’amorçage.

label

L’étiquette à montrer dans le menu — p. ex. "GNU".

linux

L’image du noyau Linux à démarrer, par exemple :

(file-append linux-libre "/bzImage")

Pour GRUB, il est aussi possible de spécifier un périphérique explicitement dans le chemin de fichier avec la convention de nommage de GRUB (voir Naming convention dans GNU GRUB manual), par exemple :

"(hd0,msdos1)/boot/vmlinuz"

Si le périphérique est spécifié explicitement comme au-dessus, le champ device est complètement ignoré.

linux-arguments (par défaut : ())

La liste des arguments de la ligne de commande du noyau supplémentaires — p. ex. ("console=ttyS0").

initrd

Une G-expression ou une chaîne dénotant le nom de fichier du disque de RAM initial à utiliser (voir G-Expressions).

device (par défaut : #f)

Le périphérique où le noyau et l’initrd se trouvent — c.-à-d. pour GRUB, l’option root de cette entrée de menu (voir root dans GNU GRUB manual).

Cela peut être une étiquette de système de fichiers (une chaîne), un UUID de système de fichiers (un vecteur d’octets, voir Systèmes de fichiers) ou #f, auquel cas le chargeur d’amorçage recherchera le périphérique contenant le fichier spécifié par le champ linux (voir search dans GNU GRUB manual). Cela ne doit pas être un nom de périphérique donné par l’OS comme /dev/sda1.

For now only GRUB has theme support. GRUB themes are created using the grub-theme form, which is not fully documented yet.

Data Type : grub-theme

Data type representing the configuration of the GRUB theme.

gfxmode (default: '("auto"))

The GRUB gfxmode to set (a list of screen resolution strings, see voir gfxmode dans GNU GRUB manual).

Variable Scheme : %default-theme

C’est le thème par défaut de GRUB utilisé par le système d’exploitation si aucun champ theme n’est spécifié dans l’enregistrement bootloader-configuration.

Il contient une image de fond sympathique avec les logos de GNU et de Guix.

For example, to override the default resolution, you may use something like

(bootloader
 (grub-configuration
 ;; …
 (theme (grub-theme
         (inherit %default-theme)
         (gfxmode '("1024x786x32" "auto"))))))

Suivant: , Précédent: , Monter: Configuration système   [Table des matières][Index]