NixOS on ARM/UEFI: Difference between revisions
imported>Samueldr m Add note about device trees |
imported>Samueldr m Add where to get the ISO |
||
| Line 36: | Line 36: | ||
{{expansion|for now, left as an exercise to the reader... More will be coming soon.}} | {{expansion|for now, left as an exercise to the reader... More will be coming soon.}} | ||
=== Getting the installer image === | |||
For the time being, the following jobs are recommended: | |||
* <tt>[https://hydra.nixos.org/job/nixos/trunk-combined/nixos.iso_minimal.aarch64-linux nixos:trunk-combined:nixos.iso_minimal.aarch64-linux]</tt> | |||
* '''<tt>[https://hydra.nixos.org/job/nixos/trunk-combined/nixos.iso_minimal_new_kernel.aarch64-linux nixos:trunk-combined:nixos.iso_minimal_new_kernel.aarch64-linux]</tt>''' | |||
With the ''new kernel'' variant being preferred | |||
This installer image should be written to a USB drive, like usual. In a pinch, it may also be written to an SD image, if your target's initial boot firmware does not need to be written to that same SD image. This UEFI iso is incompatible (by design) with ''shared firmware storage''. | |||
=== Installing === | === Installing === | ||
| Line 80: | Line 91: | ||
</syntaxhighlight> | </syntaxhighlight> | ||
== Known | === General Tips === | ||
Using the latest kernel is probably a good idea. Hardware support for ARM platforms is always improving, and using the latest kernel, rather than the "latest LTS", might be enough to break it or make it. | |||
<syntaxhighlight lang="nix"> | |||
{ /* configuration.nix */ | |||
boot.kernelPackages = pkgs.linuxPackages_latest; | |||
} | |||
</syntaxhighlight> | |||
== Known Issues == | |||
=== Device Trees === | === Device Trees === | ||