Un Raspberry Pi de 512 Mo ?
Depuis quelques jours les Raspberry Pi sont produits et livrés avec 512 Mo de mémoire plutôt que 256 Mo auparavant. Ceux que j’ai reçus ce matin (pour préparer une session de formation) semblent bien disposer de cette extension.
Voyons un peu…
root@R-Pi [/root]# cat /proc/cpuinfo Processor : ARMv6-compatible processor rev 7 (v6l) BogoMIPS : 697.95 Features : swp half thumb fastmult vfp edsp java tls CPU implementer : 0x41 CPU architecture: 7 CPU variant : 0x0 CPU part : 0xb76 CPU revision : 7 Hardware : BCM2708 Revision : 000f Serial : 00000000829d3f6d root@R-Pi [/root]# uname -a Linux R-Pi 3.2.27-cpb+ #1 PREEMPT Mon Oct 22 18:54:54 CEST 2012 armv6l GNU/Linux root@R-Pi [/root]# free total used free shared buffers Mem: 499088 7180 491908 0 196 -/+ buffers: 6984 492104 Swap: 0 0 0 root@R-Pi [/root]#
En effet, 496 Mo de Ram pour le CPU, et les 16 Mo restants pour le GPU. On peut noter également le numéro de révision dans /proc/cpuinfo
(000f
, soit 15 en décimal) qui indique un Raspberry Pi 512 Mo si la valeur est supérieure à 10 (décimal).
Pour que cette nouvelle quantité de mémoire soit disponible, il faut toutefois mettre à jour les fichiers suivants sur la partition de démarrage.
bootcode.bin
doit être téléchargé depuishttps://github.com/raspberrypi/firmware
start.elf
(téléchargé depuis le même emplacement) remplacearm128_start.elf
,arm192_start.elf
, etc.loader.bin
peut être effacéconfig.txt
contiendra la lignegpu_mem=16
(ou n’importe quelle autre valeur en Mo attribué au GPU)
Enfin il faudra recompiler une nouvelle version du noyau à partir de https://github.com/raspberrypi/linux
On peut également installer les fichiers start_cd.elf
et fixup_cd.dat
utilisés automatiquement si le GPU ne dispose que de 16 Mo – cd
signifiant Cut Down (réduit). Voici donc le contenu de ma partition de démarrage.
root@R-Pi [/root]# ls -l /boot/ total 4876 -rwxr-xr-x 1 root root 17764 Jan 1 1980 bootcode.bin -rwxr-xr-x 1 root root 2 Oct 22 2012 cmdline.txt -rwxr-xr-x 1 root root 13 Jan 1 1980 config.txt -rwxr-xr-x 1 root root 5277 Jan 1 1980 fixup.dat -rwxr-xr-x 1 root root 2015 Oct 22 2012 fixup_cd.dat -rwxr-xr-x 1 root root 2088496 Jan 1 1980 kernel.img -rwxr-xr-x 1 root root 2347668 Jan 1 1980 start.elf -rwxr-xr-x 1 root root 522984 Oct 22 2012 start_cd.elf root@R-Pi [/root]#