(08-16-2023, 01:32 AM)varac Wrote: The big missing part for me was that (a recent) uboot needed to be installed in SPI memory,
Debian's u-boot-rockchip package now supports the RockPro64 v2, too.
With that, I was able to create a fresh bootable microsd card by populating a GPT partition with the kernel, initrd, dtbs, and extlinux files, and running u-boot-install-rockchip /dev/devicename .
Note that the partition must not start before the 16MiB mark, because the space before that is where the bootloader files are written. I think it requires the bootable flag to be set, too.
https://opensource.rock-chips.com/wiki_Partitions
It's also helpful to put a script in /etc/kernel/postinst.d and /etc/kernel/postrm.d to automate copying the new .dtb file to the boot partition whenever a new kernel is installed.