06-06-2021, 03:53 PM
...as a quick addendum, I've converted my Armbian system from arm64 to armhf; the build now takes about 90% of the time it used to, which isn't fantastic but which is definitely worth having. Actually doing the conversion is laborious and error-prone, though, so I wouldn't recommend it.
For actual Debian you download a firmware binary containing uboot and the kernel, and then a generic arm64 partition containing the userland; there's only a PBP firmware for arm64. It might be possible to combine the arm64 firmware with the armhf userland (the kernel should be size-agnostic).
For actual Debian you download a firmware binary containing uboot and the kernel, and then a generic arm64 partition containing the userland; there's only a PBP firmware for arm64. It might be possible to combine the arm64 firmware with the armhf userland (the kernel should be size-agnostic).