NixOS on ARM/PINE64 ROCK64: Difference between revisions

imported>Runningdroid
m (Update product page)
imported>Lopsided98
(Update note about ROCK64 v2 memory corruption.)
Line 22: Line 22:
The ROCK64 is a single board computer built around the Rockchip RK3328 SoC.
The ROCK64 is a single board computer built around the Rockchip RK3328 SoC.


There are three models of the board, with 1, 2 or 4 GB of RAM. It can boot from an microSD card or an eMMC. It also has a 128 Mbit SPI flash that can be used to store the bootloader.
There are three models of the board, with 1, 2 or 4 GB of RAM. It can boot from an microSD card or an eMMC. It also has a 128 Mbit SPI flash (not populated on recently manufactured boards) that can be used to store the bootloader.


== Status ==
== Status ==
Line 45: Line 45:




{{note|There is known memory corruption on some ROCK64 v2 boards using both upstream TPL and Rockchip's 786 MHz proprietary blob. The solution is to use the proprietary 333 or 400 MHz blob instead. See discussion here: https://github.com/NixOS/nixpkgs/pull/145506#issuecomment-974985012}}
{{note|ROCK64 v2 boards have marginal DRAM routing and may experience memory corruption with the standard U-Boot build. It is recommended to use the <code>ubootRock64v2</code> package for these devices, which reduces the DRAM clock to increase stability.}}


== Board-specific installation notes ==
== Board-specific installation notes ==
Line 51: Line 51:
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>.  


You can use [https://github.com/Mic92/nixos-aarch64-images nixos-aarch64-images] to get an rock64 compatible disk image
You can use [https://github.com/Mic92/nixos-aarch64-images nixos-aarch64-images] to get an ROCK64 compatible disk image
or running the commands manually.
or running the commands manually.