&gt;  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.<p>So for now it is a &quot;64 bit&quot; system on paper only?