Raspberry Pi 4 (64bit) is faster?

What’s better? To use Raspberry Pi 4 with a 32bit Raspbian kernel and use the VirtualHere USB Server Optimized for Pi4 (armv7l) or to upgrade the Raspbian kernel to use 64bit (aarch64) configuring the /boot/config.txt file (inserting arm_64bit=1) just as the following tutorial suggests https://medium.com/for-linux-users/how-to-make-your-raspberry-pi-4-fast…

If using on a 64bit environment, the correct build would be the VirtualHere USB Server Optimized for Cortex A72.

Will there be a relevant performance boost?

Thanks.

#2

I would recommend the 32-bit kernel until 64-bit is officially supported by raspbian os