NixOS on ARM/PINE64 ROCK64: Difference between revisions
imported>Lopsided98 (Update note about ROCK64 v2 memory corruption.) |
imported>BeatLink (Separate board specific notes for clarification) |
||
| Line 49: | Line 49: | ||
== Board-specific installation notes == | == Board-specific installation notes == | ||
U-Boot needs to be copied to specific sectors on the microSD card, eMMC or image with <code>dd</code>. | U-Boot needs to be copied to specific sectors on the microSD card, eMMC or image with <code>dd</code>. This can be done either by using a prebuilt image or by manually formatting the storage. | ||
=== Using Prebuilt Images === | |||
You can use [https://github.com/Mic92/nixos-aarch64-images nixos-aarch64-images] to get an ROCK64 compatible disk image. | |||
=== 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>. | |||
Replace in the command below <code>/dev/mmcblkX</code> with the correct device to the sdcard i.e. <code>/dev/mmcblk0</code>. You can use the <code>lsblk</code> command to get a list of all devices: | Replace in the command below <code>/dev/mmcblkX</code> with the correct device to the sdcard i.e. <code>/dev/mmcblk0</code>. You can use the <code>lsblk</code> command to get a list of all devices: | ||