NixOS on ARM/PINE64 ROCK64: Difference between revisions

imported>BeatLink
(Update board specific installation notes to detail single file formatting and v2 builds for memory stability)
imported>BeatLink
(Add further instructions on flashing the generic NIXOS arm image first)
Line 57: Line 57:
=== Manually Formatting ===
=== Manually Formatting ===


To manually format your storage, download/build U-Boot for the board, and write <code>idbloader.img</code> and <code>u-boot.itb</code> to the storage. As mentioned previously, Hydra builds can be found here:
To manually format your storage, first install the NIXOS ARM 64 image by following the instructions here. Download and flash the SD Card/SBC image to your SD Card
 
https://nixos.wiki/wiki/NixOS_on_ARM#SD_card_images_.28SBCs_and_similar_platforms.29
 
Next, download/build U-Boot for the board, and write <code>idbloader.img</code> and <code>u-boot.itb</code> to the storage. As mentioned previously, Hydra builds can be found here:


https://hydra.nixos.org/job/nixpkgs/trunk/ubootRock64.aarch64-linux
https://hydra.nixos.org/job/nixpkgs/trunk/ubootRock64.aarch64-linux
Line 70: Line 74:
This will make the first partition of the installation device unmountable and it can be deleted, but the space needs to be kept to not overwrite the bootloader with another filesystem.
This will make the first partition of the installation device unmountable and it can be deleted, but the space needs to be kept to not overwrite the bootloader with another filesystem.


{{note|Prior to NixOS 20.03, a downstream version of U-Boot 2017.09 was packaged, which placed U-Boot in a single <code>idbloader.img</code> file. If that version is used, simply disregard the second command above.}}
{{note|As an alternative to the above, the <code>u-boot-rockchip.bin</code> file combines both  <code>idbloader.img</code> and <code>u-boot.itb</code> and can be written using the single command below:
 
 
As an alternative to the above, the <code>u-boot-rockchip.bin</code> file combines both  <code>idbloader.img</code> and <code>u-boot.itb</code> and can be written using the single command below:


<syntaxhighlight lang="bash">
<syntaxhighlight lang="bash">
dd if=u-boot-rockchip.bin of=/dev/mmcblkX seek=64
dd if=u-boot-rockchip.bin of=/dev/mmcblkX seek=64
</syntaxhighlight>
</syntaxhighlight>
}}
{{note|Prior to NixOS 20.03, a downstream version of U-Boot 2017.09 was packaged, which placed U-Boot in a single <code>idbloader.img</code> file. If that version is used, simply disregard the second command above.}}


=== uboot Memory Issues  ===
=== uboot Memory Issues  ===