did you know that, instead of downloading some SD card image of extremely questionable provenance, you can fight with U-boot for two hours and then use Debian Installer to provision an ARM64 single board computer?

here's me doing this on a Rockchip ROCK 4C+, using entirely firmware I built myself:

@whitequark or you can fight u-boot for 30 minutes and then install Gentoo