NixOS on ARM/PINE64 ROCK64: Difference between revisions
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. | ||
=== 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 == |