Raspberry Pi 4 is out!
Posted: Mon Jun 24, 2019 9:45 am
https://www.raspberrypi.org has the details. It's full 64-bit and uses the Mesa graphics pipeline at 4k HDMI 60 Hz or dual head at 30 Hz.
The Cross-Platform Multimedia Application Layer
The Raspberry Pi 3 also has a 64-bit CPU but no 64-bit Raspbian so the question is whether they'll come up with a 64-bit version of Raspbian as well... (this would mean that Hollywood would have to support a new linux-arm64 target)It's full 64-bit
It appears that the userspace on Raspbian is still 32-bit even though the drivers and kernel are 64-bit. It'll be interesting to see what happens!