Official Debian support!

[pinepersoon]

Installed this on my new ROCKPro64 today. runs very well!
for anyone wondering (as i did) how to boot this after installation:

1. copy a DTB to the boot partition (partition 2), you can find the ones from the debian package on the installer's boot partition which is still intact after installation (partition 1)
For the ROCKPro64 this would be rk3399-rockpro64-v2.dtb.

something like:

Code:

$ sudo mount /dev/sdX1 /mnt/oldboot
$ sudo mount /dev/sdX2 /mnt/boot
$ sudo mkdir /mnt/boot/dtbs
$ sudo cp /mnt/oldboot/dtbs/rockchip/rk3399-rockpro64-v2.dtb /mnt/boot/dtbs/

2. create a /boot/extlinux/extlinux.conf:

Code:

$ sudo mkdir /mnt/boot/extlinux
$ sudoedit /mnt/boot/extlinux/extlinux.conf

extlinux.conf:

Code:

default l0
menu title Debian
prompt 0
timeout 50

label l0
menu label Debian
linux /vmlinuz
append root=/dev/mmcblk0p3 rw
initrd /initrd.img
fdt /dtbs/rk3399-rockpro64-v2.dtb

3. boot!