Hi. I am trying to install Debian on a Rock Pi 4 (v1.73). It is a system-on-chip similar to and mostly compatible with the Raspberry Pi 4 but with an on-board SSD. I have managed to boot and install one of the Debian images provided by the vendor, but they are obsolete or third-party or both. According to https://lists.debian.org/debian-devel-announce/2021/04/msg00011.html this system is now supported by Debian natively, so I would like to install a real official Debian. I have tried the procedure described on: https://deb.debian.org/debian/dists/bullseye/main/installer-arm64/current/images/netboot/SD-card-images/README.concatenateable_images zcat firmware.rock-pi-4-rk3399.img.gz partition.img.gz | /usr/bin/pv -s $[16777216+136822784] > /dev/mmcblk0 I have checked that the SD card has a partition that can be mounted and looks like a Debian installer. But when I plug it in the Rock Pi and boot, nothing, it boots on the internal SSD. I can boot on the SD card if I put a distribution from the vendor, so the issue is not the SSD having precedence. I read here somebody who tried the same thing: https://forum.radxa.com/t/driver-firmware-for-brcmfmac43456/9194 and managed to get a boot. But even trying ../../u-boot/rockpro64-rk3399.img.gz instead of firmware.rock-pi-4-rk3399.img.gz as written in this forum message changes nothing. Of course, to make things easier, it is impossible to get any diagnostics. The screen starts to get a signal only when the boot is already well in progress. Well, it is possible but I do not have a serial input at hand. Does anybody have something to suggest? Regards, -- Nicolas George
Attachment:
signature.asc
Description: PGP signature