Comment by johnnycab

I hope there is an official release of 64-bit version soon.

https://www.raspberrypi.org/forums/viewtopic.php?f=117&t=275...