NixOS on ARM/UEFI/fr: Difference between revisions
Created page with "{{tip|Tout comme sur <tt>x86_64</tt>, installer rEFInd à l'emplacement de secours (<code>/EFI/BOOT/BOOTAA64.EFI</code>) pourrait s'avérer utile.}}" |
No edit summary |
||
(13 intermediate revisions by the same user not shown) | |||
Line 40: | Line 40: | ||
<span id="Getting_a_Platform_Firmware"></span> | <span id="Getting_a_Platform_Firmware"></span> | ||
== Obtenir un ''micrologiciel de plateforme'' == | |||
{{expansion|D'avantage de détails et des solutions alternatives seraient appréciés}} | {{expansion|D'avantage de détails et des solutions alternatives seraient appréciés}} | ||
Line 98: | Line 98: | ||
{{tip|Tout comme sur <tt>x86_64</tt>, installer [[REFInd|rEFInd]] à l'emplacement de secours (<code>/EFI/BOOT/BOOTAA64.EFI</code>) pourrait s'avérer utile.}} | {{tip|Tout comme sur <tt>x86_64</tt>, installer [[REFInd|rEFInd]] à l'emplacement de secours (<code>/EFI/BOOT/BOOTAA64.EFI</code>) pourrait s'avérer utile.}} | ||
Cette extrait utilise GRUB2, mais systemd-boot fonctionne également. Comme les variables EFI ne peuvent pas être manipulées, utiliser <code>efiInstallAsRemovable</code> permet l'installation de GRUB2 à l'emplacement de secours. | |||
{{file|/etc/nixos/configuration.nix|nix|<nowiki> | {{file|/etc/nixos/configuration.nix|nix|<nowiki> | ||
{ | { | ||
Line 111: | Line 108: | ||
} | } | ||
</nowiki>}} | </nowiki>}} | ||
< | <span id="General_Tips"></span> | ||
=== | === Astuces générales === | ||
Utiliser le dernier noyau disponible est une bonne idée. Le support matériel pour les plateformes ARM étant en constante amélioration, utiliser le dernier noyau plutôt que la "dernière LTS" pourrait être bénéfique… ou pas. | |||
{{file|/etc/nixos/configuration.nix|nix|<nowiki> | {{file|/etc/nixos/configuration.nix|nix|<nowiki> | ||
{ | { | ||
Line 127: | Line 119: | ||
} | } | ||
</nowiki>}} | </nowiki>}} | ||
< | <span id="Known_Issues"></span> | ||
== | == Problèmes connus == | ||
< | <span id="Device_Trees"></span> | ||
=== | === Arborescence de périphériques === | ||
À ce jour, il n'y a pas de consensus parmi les distributions Linux à propos de la gestion de l'arborescence des périphériques lors de processus de démarrage UEFI. | |||
La configuration actuelle s'appuie sur le micrologiciel de plateforme pour fournir une arborescence de périphériques appropriée pour le noyau à exécuter. | |||
Il est possible de faire charger une arborescence de périphériques par ''U-Boot'', plus récente par exemple, en plaçaant le dossier dtb d'une construction de noyau à l'emplacement <code>/dtb</code> de l'ESP. ''U-Boot'' chargera automatiquement une arborescence de périphériques selon l'heuristique, qui devrait être la bonne. | |||
En pratique, on ne sait pas dans quelle mesure cela constituerait un réel problème. | |||