Passer le kernel de son Raspberry Pi tournant sous Raspberry Pi OS en 64 bit

0

Si vous utilisez un Raspberry Pi 3B/3B+, 4B ou 400, sachez que celui-ci est compatible 64 bit.
Le problème, c’est que Raspberry Pi OS (anciennement Raspbian), n’est disponible qu’en 32 bit.
On peut déjà résoudre partiellement le problème en passant son kernel en 64 bit, ce qui permet par exemple de virtualiser quelques petits OS (avec virt-manager par exemple), ou même émuler des vieux systèmes Mac OS X avec PearPC, directement sur le Raspberry Pi.

Pour passer votre kernel en 64 bit, c’est très simple.
Ouvrez le fichier /boot/config.txt avec nano via la commande sudo nano /boot/config.txt.
Puis, tout à la fin du fichier, ajoutez-y la ligne suivante : arm_64bit=1
Redémarrez et votre noyau sera en 64 bit. Vérifiable via la commande uname -a à taper dans un Terminal.
Si vous y voyez ceci, votre Pi a un noyau 64 bit :

aarch64 signifie que votre version est en 64 bit, tout comme la mention v8 indiquée après la version du noyau, ici en version 5.10.52

Attention cependant, le noyau 64 bit n’est pas activé par défaut probablement parce qu’il ne s’agit à priori actuellement que d’une version beta.
A utiliser en connaissance de cause.

Laisser un commentaire

Votre adresse email ne sera pas publiée.