NixOS on ARM/PINE64 ROCK64 - Revision history

SigmaSquadron: Dark mode support

2025-04-17T17:27:14Z

Dark mode support

← Older revision		Revision as of 17:27, 17 April 2025
Line 98:		Line 98:
	{\| class="table"		{\| class="table"
	\|-		\|-
	!colspan="2" style="background: ~~#fafafa~~"\| Pi-2 Bus		!colspan="2" style="background: var(--color-inverted)"\| Pi-2 Bus
	\|-		\|-
	! Pin		! Pin
Line 126:		Line 126:
	{\| class="table arm-compatibility"		{\| class="table arm-compatibility"
	\|		\|
	! style="background: ~~#fafafa~~" \| Mainline kernel !! style="background: ~~#fafafa~~" \| ayufan-rock64/linux-mainline-kernel		! style="background: var(--color-inverted)" \| Mainline kernel !! style="background: var(--color-inverted)" \| ayufan-rock64/linux-mainline-kernel
	\|-		\|-
	! Ethernet		! Ethernet

Mic92: Document how to increase space for kernel

2024-05-25T11:25:07Z

Document how to increase space for kernel

@@ Line 154: / Line 154: @@
 This provides sound over HDMI, which the default kernel does not.
-{{note|The old vendor U-Boot 2017.09 did not leave enough room between the kernel and initrd, causing recent kernels to overwrite the beginning of the initrd. This can be fixed by increasing <code>ramdisk_addr_r</code> in the U-Boot console, or using upstream U-Boot. }}
+=== Initrd fails to unpack during boot ===
 == Video decoding ==

Mic92: fix links

2024-04-01T14:08:08Z

fix links

← Older revision		Revision as of 14:08, 1 April 2024
Line 59:		Line 59:
	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		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~~		[[NixOS_on_ARM#SD card images (SBCs and similar platforms)]]

	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:		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:

imported>BeatLink: Add further instructions on flashing the generic NIXOS arm image first

2024-03-22T11:52:07Z

Add further instructions on flashing the generic NIXOS arm image first

← Older revision		Revision as of 11:52, 22 March 2024
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 ===

imported>BeatLink: Update board specific installation notes to detail single file formatting and v2 builds for memory stability

2024-03-20T05:28:00Z

Update board specific installation notes to detail single file formatting and v2 builds for memory stability

← Older revision		Revision as of 05:28, 20 March 2024
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 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:

			https://hydra.nixos.org/job/nixpkgs/trunk/ubootRock64.aarch64-linux

	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:

Line 66:		Line 69:

	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\|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.}}		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">
			dd if=u-boot-rockchip.bin of=/dev/mmcblkX seek=64
			</syntaxhighlight>

			=== uboot Memory Issues ===
			If you are facing memory issues, kernel panics, kernel oops or general system instability while using the uboot images above (especially with the Rock64 version 2), you can use the ubootRock64v2 image instead, which improves system stability by lowering the memory clock speed at the cost of memory bandwidth.

			Hydra builds can be found here (note the v2) https://hydra.nixos.org/job/nixpkgs/trunk/ubootRock64v2.aarch64-linux

			Simply follow the manual formatting instructions as above.

	== Serial console==		== Serial console==

imported>BeatLink: Separate board specific notes for clarification

2024-03-20T05:16:01Z

Separate board specific notes for clarification

← Older revision		Revision as of 05:16, 20 March 2024
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.

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

	~~Download~~/build U-Boot for the board, and write <code>idbloader.img</code> and <code>u-boot.itb</code>.		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:

imported>Lopsided98: Update note about ROCK64 v2 memory corruption.

2024-03-08T00:37:46Z

Update note about ROCK64 v2 memory corruption.

← Older revision		Revision as of 00:37, 8 March 2024
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.

imported>Runningdroid: Update product page

2024-02-13T00:34:42Z

Update product page

← Older revision		Revision as of 00:34, 13 February 2024
Line 156:		Line 156:
	== Resources ==		== Resources ==

	* [https://~~www.~~pine64.org/devices~~/single-board-computers~~/rock64/ Official product page]		* [https://pine64.org/devices/rock64/ Official product page]

imported>Cryo28 at 05:16, 23 December 2021

2021-12-23T05:16:17Z

← Older revision		Revision as of 05:16, 23 December 2021
Line 88:		Line 88:
	\|}		\|}

	The serial console runs at 1500000 baud in the bootloader. When using the standard NixOS aarch64 sd image, set <code>console=ttyS2,1500000n8</code> as kernel option in <code>extlinux/extlinux.conf</code> on the boot partition of the sdimage to get a serial linux console. For debugging, <code>console=uart8250,mmio32,0xff130000</code> should give you an early UART console, before the full serial console is up.		The serial console runs at 1500000 baud in the bootloader. When using the standard NixOS aarch64 sd image, set <code>console=tty1 console=ttyS2,1500000n8</code> as kernel option in <code>extlinux/extlinux.conf</code> on the boot partition of the sdimage to get a serial linux console (tty1 is for standard HDMI output and ttyS2 is for the serial, baud rate setting is optional, simple console=ttyS2 seems to be working fine too). For debugging, <code>console=uart8250,mmio32,0xff130000</code> should give you an early UART console, before the full serial console is up.

			From the host computer run (update /dev/ttyUSB0 with your USB-to-serial device)

			<code>
			minicom -b 1500000 -8 -D /dev/ttyUSB0 --color=on
			</code>


	== Compatibility notes ==		== Compatibility notes ==

imported>Cryo28: Set correct serial console baud rate

2021-12-23T02:53:28Z

Set correct serial console baud rate

← Older revision		Revision as of 02:53, 23 December 2021
Line 88:		Line 88:
	\|}		\|}

	The serial console runs at 1500000 baud in the bootloader. When using the standard NixOS aarch64 sd image, set <code>console=ttyS2,~~115200n8~~</code> as kernel option in <code>extlinux/extlinux.conf</code> on the boot partition of the sdimage to get a serial linux console. For debugging, <code>console=uart8250,mmio32,0xff130000</code> should give you an early UART console, before the full serial console is up.		The serial console runs at 1500000 baud in the bootloader. When using the standard NixOS aarch64 sd image, set <code>console=ttyS2,1500000n8</code> as kernel option in <code>extlinux/extlinux.conf</code> on the boot partition of the sdimage to get a serial linux console. For debugging, <code>console=uart8250,mmio32,0xff130000</code> should give you an early UART console, before the full serial console is up.

	== Compatibility notes ==		== Compatibility notes ==