Sommaire

Séquence de Boot:du Raspberry Piboot du Raspberry Pi

Dans la partition FAT présente sur la carte micro SD se trouvent les fichiers :

  • bootcode.ini : le second étage du bootloader.

  • start.elf : le firmware du GPU fourni en binaire.

  • kernel.img : le noyau de l’OS, celui de Linux avec Raspbian.

  • cmdline.txt : le fichier contenant les paramètres passés au noyau lors du boot.

  • config.txt : fichier optionnel, lu par le GPU avant l’initialisation du CPU ARM. Il contient des informations sur la répartition de la RAM, le surcadencement, le mode vidéo à utiliser…

Le GPU transfère tout d’abord en mémoire bootcode.ini, qu’il exécute. bootcode.ini charge start.elf, le firmware du GPU, dans la SDRAM. start.elf effectue le partage de la mémoire entre le CPU et le GPU, puis charge le noyau Linux kernel.img dans la mémoire réservée au CPU.

Le schéma ci-dessous montre le fonctionnement du Raspberry Pi lorsque le système de fichiers racine n’est pas situé sur la carte micro SD, mais sur un disque dur externe.

images/09RI01.png

kernel.img va rechercher le système de fichiers racine (RFS = Root file System) en fonction du paramètre root (root=/dev/mmcblk0p2) passé dans cmdline.txt. Par défaut c’est /dev/mmcblk0p2 qui contient le RFS. Il faudra donc modifier ce paramètre pour que le noyau accède au disque dur.

Après le démarrage, le système n’accède plus à la carte micro ...