NixOS on ARM/UEFI/fr: Difference between revisions
Created page with "{{file|/etc/nixos/configuration.nix|nix|<nowiki> { boot.loader.grub.enable = true; boot.loader.grub.efiSupport = true; boot.loader.grub.efiInstallAsRemovable = true; boot.loader.grub.device = "nodev"; } </nowiki>}}" Tags: Mobile edit Mobile web edit |
Updating to match new version of source page |
||
| (12 intermediate revisions by one other 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'' == | <div class="mw-translate-fuzzy"> | ||
== Obtenir un ''micrologiciel de plateforme'' == | |||
</div> | |||
{{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 46: | Line 48: | ||
<div lang="en" dir="ltr" class="mw-content-ltr"> | <div lang="en" dir="ltr" class="mw-content-ltr"> | ||
As an opinionated example, you can get started with [https://github.com/Tow-Boot/Tow-Boot Tow-Boot, a ''U-Boot'' distribution], which is intended to make the initial setup a bit easier by abstracting the platform differences so that they do not matter. | As an opinionated example, you can get started with [https://github.com/Tow-Boot/Tow-Boot Tow-Boot, a ''U-Boot'' distribution], which is intended to make the initial setup a bit easier by abstracting the platform differences so that they do not matter. | ||
</div> | |||
<div lang="en" dir="ltr" class="mw-content-ltr"> | |||
Where supported, Nix can be used to build U-boot from its main-line repositories. See [[U-Boot#Building a packaged U-Boot]] for further information. The resulting firmware image can then be flashed to SPI with tools such as <code>flashcp</code> or <code>flashrom</code>, or installed to EMMC/SD card by writing to specific offsets. This is platform specific, refer to [https://github.com/u-boot/u-boot/tree/master/doc/board upstream U-boot documentation for your platform or board]. | |||
</div> | </div> | ||
| Line 109: | Line 115: | ||
</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 123: | Line 125: | ||
} | } | ||
</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. | |||