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

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.

Passionné d'informatique et des nouvelles technologies, je partage avec plaisir mes connaissances sur ce site. Expert Apple, passionné de Linux, de l'infrastructure et de l'hébergement, gestionnaire de serveurs.

Related Posts

Lancer automatiquement un script shell au démarrage de Debian ou d’Ubuntu

Dans cet article nous verrons comment lancer vos propres scripts shell (fichier avec l’extension .sh) au démarrage de votre Debian ou de votre Ubuntu.

Modifier le fuseau horaire d’Ubuntu en lignes de commandes

J’écris un article rapide, ce soir, afin de vous expliquer comment modifier le fuseau horaire de votre Ubuntu en lignes de commandes. Ce petit tutoriel est donc…

Comment streamer ou enregistrer une vidéo YouTube avec VLC

Aujourd’hui je vais vous montrer comment on peut streamer ou enregistrer une vidéo de YouTube directement avec VLC sans utiliser de sites web ou d’outils tiers.

Ubuntu Server 18.04/20.04 : Configurer MySQL pour une utilisation avec phpMyAdmin ou un client MySQL distant

Geek on Web et certains de mes autres services utilisent une base de données MySQL. Le comportement de MySQL a changé sur Ubuntu 18.04 et supérieur et…

macOS : Scinder un gros fichiers en plusieurs parties

J’ai eu besoin de scinder un fichier en plusieurs, afin d’obtenir différentes parties moins volumineuses.Sachez qu’il y a un outil utilisable en lignes de commande intégré à…

macOS : Graver une image ISO avec le Terminal

Ce matin je vous propose un article très court pour vous expliquer comment graver une image disque (son contenu) sur un CD/DVD en utilisant le Terminal.

Laisser un commentaire

Votre adresse e-mail ne sera pas publiée.