On 04/12/2019 19:13, Dennis Lee Bieber wrote:
> The Buster-based Raspbian is still a 32-bit build... The foundation
> insists that one downloadable image be usable on all generations of R-Pi.

Yes but they're testing 64-bit kernel at least, "userland still needs a
lot of work" https://www.raspberrypi.org/forums/viewtopic.php?f=63&t=257767

Linked from there, official doc page that mentions an arm_64bit setting:
https://www.raspberrypi.org/documentation/configuration/config-txt/boot.md

--- SoupGate-Win32 v1.05