[jdonald]

Good question. ptitSeb's work tends to target armv7 as that's the architecture used by OpenPandora.

I don't know if this design currently depends on specifics of the armhf ABI vs aarch64.

With regard to the market, 64-bit SBCs (such as Raspberry Pi 4) often run 32-bit operating systems such as Raspbian. Even 64-bit ARM operating systems such as Ubuntu, Gentoo, and Manjaro are capable of running 32-bit software such as this via multiarch, chroot, or containers.