> You really don't want to do that. All of the Pi-like SBCs, including > the Raspberry Pis themselves need "special" board-specific kernel > builds and many (esp. the Raspberry Pis) have non-"standard" boot > processes (The RPi's need a VFAT partition to boot from). This means > the kernels and the boot infrastructure and firmware needs to be > pulled from the board-specific Raspberry Pi repos. This means it > still needs to be a RPi OS (Rasbian) system and not a "pure" Debian > 13. A "pure" Debian 13 aarch64 install is not going to boot and run > on a Raspberry Pi. The necessary boot infrastructure will > be missing.
AFAIK, the kernels can be plain old Debian kernels and AFAIK the `u-boot-rpi` package provides a working boot loader, so it's not as hopeless as you make it sound. Have you checked https://sd-card-images.johang.se/ to see if their images work on your device? I can vouch for them working on a NanoPi R5S. === Stefan
