Jump to content

NixOS on ARM/PINE64 ROCK64: Difference between revisions

Document how to increase space for kernel
(fix links)
(Document how to increase space for kernel)
 
Line 154: Line 154:
This provides sound over HDMI, which the default kernel does not.
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 ===
 
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.
 
Here is how to achieve in the uboot console (hit enter during boot to access it):
 
<syntaxHighlight>
=> print ramdisk_addr_r # this prints the old value
ramdisk_addr_r=0x06000000
=> set ramdisk_addr_r 0x07000000 # this sets a new value
=> saveenv # this persist the the configuration
=> boot # than you can normally boot, if it still fails, you can try to increase the ramdisk_addr_r value further
</syntaxHighlight>


== Video decoding ==
== Video decoding ==