NixOS on RISCV/VisionFive 2: Difference between revisions
→Manually build a SD-card image: 24.11 is out, so use that for the input |
m Typo |
||
| (2 intermediate revisions by one other user not shown) | |||
| Line 36: | Line 36: | ||
= Setup = | = Setup = | ||
Precompiled SD-card images can be found [https://hydra.nichi.co/job/nixos/riscv/visionfive2 on the Hydra instance] | Precompiled SD-card images can be found [https://hydra.nichi.co/job/nixos/riscv/visionfive2 on the Hydra instance] by NickCao. Before flashing the image, use <code>unzstd</code> to unpack the downloaded archive. | ||
=== Manually build a SD-card image === | === Manually build a SD-card image === | ||
| Line 43: | Line 43: | ||
{{file|flake.nix|nix|<nowiki> | {{file|flake.nix|nix|<nowiki> | ||
{ | { | ||
inputs.nixpkgs.url = " | inputs.nixpkgs.url = "nixpkgs/nixos-24.11"; | ||
inputs.nixos-hardware.url = "github:nixos/nixos-hardware"; | inputs.nixos-hardware.url = "github:nixos/nixos-hardware"; | ||
| Line 87: | Line 87: | ||
} | } | ||
</nowiki>}} | </nowiki>}} | ||
It might be helpful to add [[RISC-V#Binary cache|third-party binary cache configuration]] to this system configuration. | |||
Run following command to build the SD-card image | Run following command to build the SD-card image | ||
| Line 117: | Line 119: | ||
</syntaxhighlight>Bootstrap NixOS system configuration at <code>/etc/nixos/configuration.nix</code><syntaxhighlight lang="bash"> | </syntaxhighlight>Bootstrap NixOS system configuration at <code>/etc/nixos/configuration.nix</code><syntaxhighlight lang="bash"> | ||
nixos-generate-config | nixos-generate-config | ||
</syntaxhighlight> | </syntaxhighlight>It is recommended to [[RISC-V#Binary cache|configure third-party binary caches]] to speed up build times. | ||
== Tips and tricks == | == Tips and tricks == | ||