cClaude.rocks ☕ Le blog

Les Raspberry 3 B possèdent un processeur ARMv8 cependant lorsque l’on utilise la commande lscpu ou que l’on fait un cat /proc/cpuinfo le système peut indiquer que la machine à un ARMv7. Pour utiliser les caractéristiques de l’ARMv8 il faut l’activer explicitement.

Le Cortex-A53, disponible sur le Pi 3, peut très bien utiliser le code ARMv7 et d’ailleurs c’est probablement comme cela que vous l’utilisez. En fait, le Pi 3 est nettement supérieur à Pi 2 en raison d’améliorations architecturales.

Attention le noyau livré avec Raspbian (le système classique du Raspberry) ne prend pas en charge l’architecture ARMv8.

Si vous voulez lancer votre propre système d’exploitation ou votre propre version de noyau, vous pouvez ajouter arm_control=0x200 dans le fichier /boot/config.txt pour initialiser les cœurs dans le mode ARMv8.

C’est quoi la différence entre ARMv7 et ARMv8 ?

Eh bien, c’est simple ARMv7 est un processeur 32 bits, alors que l’ARMv8 est un processeur 64 bits.

Okay, bon ça sert à quoi ?

Pour les plus hardcores d’entre vous, je vous propose de regarder le projet « itzonban/pi64 » (https://github.com/itzonban/pi64 – lien mort) qui est un fork de bamarni/pi64 mais nettement plus à jour.

Il s’agit d’un OS 64 bits pour le Raspberry Pi 3+ basé sur un kernel 4.19.57.

Les « releases » sont disponibles sous le projet « itzonban/pi64-kernel » (https://github.com/itzonban/pi64-kernel – lien mort).

Et pour ceux qui souhaitent une solution un peu plus clé en main, il existe des OS 64 bits pour ARM qui tournent sur Raspberry 3 B :

• Arch Linux ARM
• Fedora

Comment détecter si vous avez un Raspberry 3 B ?

D’après la table des codes permettant d’identifier le type du Rasberry Pi, voici la liste des codes correspondant au RPi3B :

Pour isolé le code du modèle de votre raspberry, utilisez :

grep 'Revision' '/proc/cpuinfo' | cut -d ':' -f2 | tr -d '[:blank:]'

Comment modifier le fichier /boot/config.txt ?

Pour dire aux RPi3B de démarrer en mode ARMv8 vous devez ajouter la ligne suivante au fichier config.txt de la partition de boot.

arm_control=0x200

Notez qu’il existe plein d’autres fonctionnalités traité par ce fichier.

Le plus simple et de loin est d’arrêter proprement votre Raspberry, et de mettre la carte SD dans un autre Linux. De toute façon vous devrez également changer l’OS que vous utilisez.

Une fois connectée à votre Linux, vous devriez pouvoir éditer le fichier comme suit :

xed admin:/media/$( id -un )/boot/config.txt

Références

• RPiconfig
• The Raspberry Pi 3 Model B Q&A thread

ᦿ