UEFI

Une entrée de démarrage indique au BIOS le point d'entrée pour un chargeur d'amorçage. L'installation de NixOS installe un chargeur d'amorçage, mais celui-ci ne crée pas d'entrée de démarrage. Pour démarrer sur la configuration installée, il est donc nécessaire d'en créer une. Pour ceci :

sudo efibootmgr --create \
  --label "NixOS" \
  --disk /dev/disk/by-id/ata-WDC_WDS100T1R0A-68A4W0_2140HN444613 \
  --part 1 \
  --loader "\EFI\systemd\systemd-bootx64.efi"

Cette commande va insérer la nouvelle entrée de démarrage en première position. Des anciennes entrées de démarrage pourraient aussi substituer d'anciennes installations. Puisque Secure Boot sera à terme activé, ces anciennes entrées menant à l'exécution de code non signé ne seront de toute façon pas utilisables. Pour voir les entrées de démarrage existantes, lancez sudo efibootmgr. Pour supprimer une entrée « BootXXX », utilisez sudo efibootmgr -b XXXX -B.

À noter que l'iDRAC crée automatiquement les entrées manquantes pour les Partitions Système EFI (ESP) qu'il trouve et pour des périphériques d'amovibles ou d'amorçage réseau ; ces entrées réapparaîtront au prochain démarrage.