I followed the advice at https://wiki.debian.org/FreedomBox/Hardware/RockPro64 to flash U-boot to the SPI flash.
If I try booting the debian installer from https://d-i.debian.org/daily-images/arm64/daily/netboot/SD-card-images/, (I dot the concatenation as in the README) it works (I continued to install Debian on an SSB connected via USB, afterwards, it boots). In https://builds.trisquel.org/debian-installer-images/debian-installer-images_20210731+deb11u12+11.0trisquel18_arm64.tar.gz, I did the same using similar files found in installer- arm64/20210731+deb11u12+11/images/netboot/SD-card-images, after "Starting kernel ...", nothing happens any more. I attach the boot logs obtained via serial console. I noticed differences in addresses at the end, I don't know whether this reflects a problem or it is just something normal.
logs.tar.gz
Description: application/compressed-tar
_______________________________________________ Trisquel-devel mailing list [email protected] https://listas.trisquel.info/mailman/listinfo/trisquel-devel
