cClaude.rocks ☕ Le blog

Le BIOS, de l’anglais Basic Input Output System (en français : « système élémentaire d’entrée/sortie ») est un ensemble de fonctions, contenu dans la mémoire morte (ROM) de la carte mère d’un ordinateur, lui permettant d’effectuer des opérations de base, lors de sa mise sous tension.

En particulier, il s’agit de l’identification des périphériques d’entrée/sortie connectés et la lecture d’un secteur sur un disque, un CD ou une partie d’une clé USB. Par extension, le terme est souvent utilisé pour décrire l’ensemble du micrologiciel de la carte mère. C’est en quelque sorte le centre de contrôle de la carte mère. Sur les cartes récentes il est remplacé par sa version moderne l'UEFI.

Tous les BIOS sont configurable, en général un raccourci clavier permet d’accéder à une interface permettant de changer les paramètres par défaut.

Le BIOS du Raspberry est également configurable, et cela se fait soit à l’aide de la commande raspi-config, soit en éditant le fichier config.txt se trouvant à la racine de la partition de démarrage (« boot »).

Localisation du fichier config.txt

Où se trouve le fichier config.txt ? À la racine de la partition de démarrage, comme dit plus haut. Sur RaspPI OS, il s’agit du répertoire /boot, mais ce n’est pas obligatoire sur toutes les distributions.

Dans le cas d’un Raspberry la partition de boot est nécessairement au format en vfat car le « bootloader » du Raspberry ne sait lire que les systèmes de fichier FAT16 et FAT32. Tous les systèmes d’exploitation savent lire et écrire sur ce type de système de fichier, cela permet que la carte SD soit facilement modifiable depuis une autre machine.

Trouver la partition de démarrage — version 1

Et si la partition de démarrage n’est pas montée dans le répertoire /boot, comment trouver cette partition ? Une solution consiste à utiliser la commande mount :

mount -t vfat

mount  -t vfat | cut -d' ' -f3

/dev/mmcblk0p1 on /boot type vfat (rw,relatime,fmask=0022,dmask=0022,codepage=437,iocharset=ascii,shortname=mixed,flush,errors=remount-ro)

/boot

Trouver la partition de démarrage — version 2

Si la manipulation précédente venait à vous donner plusieurs résultats et que vous n’arrivez pas à déterminer la bonne valeur, voici une solution plus générale.

mount -t vfat | cut -d ' ' -f 1,3 # on ne prend que le premier champ et le troisième

blkid PÉRIPHÉRIQUE --match-tag UUID -o value

mount -t vfat | cut -d ' ' -f 1,3 | while read device_directory ; do
  device="$( echo "${device_directory}" | cut -d ' ' -f 1 )"
  directory="$( echo "${device_directory}" | cut -d ' ' -f 2 )"
  UUID="$( blkid "${device}" --match-tag UUID -o value )"
  echo "${device} -> ${UUID} -> ${directory}"
done

mount -t vfat | cut -d ' ' -f 1,3 | while read device_directory ; do
  device="$( echo "${device_directory}" | cut -d ' ' -f 1 )"
  directory="$( echo "${device_directory}" | cut -d ' ' -f 2 )"
  UUID="$( blkid "${device}" --match-tag UUID -o value )"

  cmdline_file="${directory}/cmdline.txt"
  config_file="${directory}/config.txt"

  if [ ! -f "${cmdline_file}" ] ; then
    echo "*** File ${cmdline_file} does not exists (skip)" >&2
  elif [ ! -f "${config_file}" ] ; then
    echo "*** File ${config_file} does not exists (skip)" >&2
  else
    echo "Boot: ${directory}"
    echo "Command: ${cmdline_file}"
    echo "Config: ${config_file}"
  fi
done

Comprendre l’organisation de vos partitions

Une dernière commande qui peut vous aider à localiser votre partition de démarrage, mais également comprendre comment sont organiser vos disques, il s’agit de lsblk. Vous pouvez l’utiliser comme suit :

lsblk -f

NAME        FSTYPE FSVER LABEL  UUID                                 FSAVAIL FSUSE% MOUNTPOINT
mmcblk0
├─mmcblk0p1 vfat   FAT32 boot   F021-066F                             202.5M    20% /boot
└─mmcblk0p2 ext4   1.0   rootfs 99f9cf68-e6fa-4b90-aeee-7fa3e9ed5c2d   53.8G     4% /

Modifier le fichier config.txt

Sur certain systèmes, le point de montage pointant vers la partition de démarrage est en lecture seule par défaut (« read-only »), et il n’est pas possible de modifier son contenu dans l’état.

Pour changer cela vous devez « remonter » la partition en mode lecture écriture ("read-write"). Cela se fait assez simplement mais nécessite d’avoir les droits root sur la machine :

sudo mount -o remount,rw /chemin_de_la_partition_de_démarrage

mount -o remount,rw /chemin_de_la_partition_de_démarrage

L’édition se fait à l’aide d’un éditeur de texte. En général, vous trouverez au moins les éditeurs vi et nano.

Ainsi, vous pouvez utiliser soit :

vi /boot/config.txt

nano /boot/config.txt

Prise en compte de vos modifications

Pour que ce changement soit pris en compte, vous devez redémarrer la machine, vous pouvez le faire à l’aide de la commande :

sudo reboot # ou simplement reboot si vous êtes déjà root.

La configuration

Le but de cet article n’est pas de savoir ce qu’il faut mettre dans le fichier config.txt, mais comment le faire.

Vérification de votre configuration

Cependant certaine configurations sont assez longues et les commentaires rendent parfois laborieux la vérification du contenu de ce fichier.

Supposons que le fichier soit accessible avec /boot/config.txt, une première solution pour limiter le bruit, vous pouvez utiliser quelque chose comme :

cat /boot/config.txt | grep -v '^#'

Ce fichier pouvant contenir le mot clé include qui demande de prendre en compte un autre fichier, il est possible de voir l’ensemble du contenu de ces fichiers à l’aide :

cat /boot/config.txt | grep '^include ' | cut -d' ' -f2- | while echo read F ; do echo "# $F" ; cat /boot/$F ; done

Je vous propose une version un peu plus évoluée, qui prend en compte le fait que le fichier config.txt n’est pas nécessairement dans le dossier /boot, qui n’affiche ni les commentaires, ni les lignes vides :

function cat_without_comments {
  local file="$1"

  cat "${file}" | grep -v '^#' | sed -e 's/^[[:blank:]]*$//' | grep -v '^$'
}

function cat_config_txt {
  local dir="$1"

  local filepath="${dir}/config.txt"
  echo "# ${filepath}"
  cat_without_comments "${filepath}"

  cat "${dir}/config.txt" | grep '^include ' | cut -d' ' -f2- | while read file ; do
    filepath="${dir}/${file}"
    echo "# ${filepath}"
    cat_without_comments "${filepath}"
  done
}

Que vous utiliserez :

cat_config_txt /boot

où pour LibreELEC :

cat_config_txt /flash

Liens

• 🎬 LibreElec: forcer le HDMI au démarrage du système,
• Explication de Virtual FAT sur Wikipédia,
• Raspberry Pi Documentation – The config.txt file,
• Édition du fichier config.txt pour LibreELEC.

ᦿ