Informatica Raspbian Jessie (64bit) for RPi3? 25 Maggio 2016 admin Before there’s a 64bit distro (raspbian or otherwise), there needs to be a 64 bit kernel. Eben said the CPU core was picked because it’s a great 32 bit processor, it just happens to also work in 64bit mode. Whether it’s worth the engineering effort to switch to 64 bits remains to be seen. However, if the community wants to get a 64 bit kernel running and do some benchmarks, that would probably be very helpful.