Hi Nicolas, Am 19.07.22 um 16:03 schrieb Nicolas George: > 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 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. If this device really can boot the Debian installer, at least it's boot system is fundamentally different to an out of the box Raspberry Pi. As far as I know, it is only possible to use the Debian installer if you modify the Raspberry to provide it an EFI system. The common way to install Debian on a Raspberry Pi is using one of the images provided at raspi.debian.net. Once you got it installed, it is a Debian system like others using the standard repositories. -- http://www.cb-fraggle.de
