Since RockPi4 is already using upstream Uboot, I’m wondering what is needed to switch kernels through U-boot.
Currently, the timeout doesn’t really allow user to choose which kernel to boot.
This brings a lot of pain to test kernels. (Have to switch custom compiled kernel to test 64K page size)
As when the default kernel fails, either goes into Uboot input all the kernel/dtbs/initrd and kernel options (pretty long), or remove the sdcard, mount it and modify the extlinux/*.
The later method needs me to access the sdcard, but since I’m also using NVME on that board, the ribbon cable mostly blocks the sdcard slot.
So it will take me over 5mins just to modify the default kernel back to manjaro kernel.
Any good idea on that? IIRC some Uboot build allows kernel selection afaik, and with such feature,
it should allow us to do more testing related to kernel/initrd/dtbs.