Raspberry Pi 4 with 64 bits kernel

64bits

Image Added support for 64-bit kernel in Medium

I saw weeks ago in the Novaspirit Tech channel video how we can change the Pi kernel to a 64-bit one, although it won't be much help in an operating system with 32-bit compiled applications and libraries, but it's a beginning.


The first thing to do is run the following:


sudo rpi-update

And now we edit the file /boot/config.txt to add the following:


arm_64bit=1

aarch64

That's it. Restart and running uname -a we can see that the system is using a 64-bit kernel if it shows the text aarch64.


I request your permission to obtain statistical data on its navigation on this website. If you continue to browse I consider you accept the use of cookies. This site is adapted to be compliant with the new law about General Data Protection Regulation. OK | More Information