NixOS on ARM/UEFI/fr: Difference between revisions
Created page with "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." |
Updating to match new version of source page |
||
| (4 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 124: | Line 130: | ||
<span id="Device_Trees"></span> | <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. | À 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. | ||
| Line 130: | Line 136: | ||
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. | 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. | |||