Raspberry Pi 4 con kernel de 64 bits

64bits

Ví hace semanas en el vídeo del canal de Novaspirit Tech como podemos cambiar el kernel de la Pi por uno de 64 bits, aunque no será de mucha ayuda en un sistema operativo con aplicaciones y librerías compiladas con 32 bits, pero todo es un comienzo.

---

Lo primero será ejecutar lo siguiente:

sudo rpi-update

Y ahora editamos el fichero /boot/config.txt para agregar lo siguiente:

arm_64bit=1

aarch64

¡Listo!. Reiniciamos y ejecutando uname -a podremos ver que el sistema está usando un kernel de 64 bits si muestra el texto aarch64.