Saltar al contenido principal

Raspberry Pi 4 con kernel de 64 bits

Jose CerrejonMenos de 1 minutoRaspberry PIRaspberry PI

Raspberry Pi 4 con kernel de 64 bits

64bits
64bits

Ví hace semanas en el vídeo del canal de Novaspirit Techopen in new window 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
aarch64

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