Official Debian support!

[foobar]

I installed Debian to the internal MMC device of my RockPro64, but it would not boot unless I had the SD card plugged in too. The following worked for me:

Code:

apt install u-boot-rockchip
u-boot-install-rockchip /dev/mmcblk2

I don't know if it works on newer edition boards.

I also have an `/boot/extlinux/extlinux.conf` containing something like (change the root=... part to point to your root fs, not your /boot fs):

Code:

default l0
menu title Debian
prompt 0
timeout 50

label l0
menu label Debian
linux /vmlinuz
append root=/dev/mmcblk2p2
initrd /initrd.img
fdt /dtb