> At launch, we are using the same 32-bit Raspbian userland that we use on other Raspberry Pi devices; over the next few months we will investigate whether there is value in moving to 64-bit mode.
Raspbian isn't the only OS available for the Pi. Also, a 32bit Userland doesn't mean you can't run 64bit software, does it? Doesn't it just suggest that pre-installed applications (and apt repositories) are 32bit?
I asked around. It is likely you would need a chroot or at least special multilib/multiarch packages installed. The Debian Wiki has more details: https://wiki.debian.org/Arm64Port
No, it is an actual 64 bit system. There is a huge difference between a CPU that can run 64 bit code and just hasn't had any compiled for it and a CPU that will never be able to run 64 bit code.
As the RasPi foundation investigates this "over the next few months" there will inevitably be other people who release 64 bit builds for anyone who needs the extra oomph.
So for now it is a "64 bit" system on paper only?