Installateur Debian - Media amovible pour les firmwares propriétaires

Dernière mise à jour : Debian 10.10

L'installateur Debian standard ne comprend que des logiciels libres, or beaucoup d'interfaces réseau utilisent des logiciels propriétaires

Il est donc prévu la possibilité de charger des firmwares propriétaires à partir d'un média amovible, s'il est nécessaire de pouvoir se connecter au réseau ethernet

Ce document décrit comment préparer et utiliser ce média amovible

Référence : https://wiki.debian.org/fr/firmware

Sommaire

1 - Téléchargement des firmwares

Télécharger, pour la version Debian que l'on souhaite installer, depuis la pagehttps://cdimage.debian.org/cdimage/unofficial/non-free/firmware/ , les fichiers firmwares, somme de contrôle et signature des sommes de contrôle

$ wget http://cdimage.debian.org/cdimage/unofficial/non-free/firmware/bullseye/11.0.0/SHA512SUMS.sign
$ wget http://cdimage.debian.org/cdimage/unofficial/non-free/firmware/bullseye/11.0.0/SHA512SUMS
$ wget http://cdimage.debian.org/cdimage/unofficial/non-free/firmware/bullseye/11.0.0/firmware.zip
 1933  sha512sum -c SHA512SUMS
 1934  gpgv --keyring /usr/share/keyrings/debian-role-keys.gpg -- SHA512SUMS.sign SHA512SUMS
 1935  aptitude search ~ifirmware
 1936  aptitude show firmware-misc-nonfree
 1937  wget http://cdimage.debian.org/cdimage/unofficial/non-free/firmware/bullseye/11.0.0/firmware.zip
 1938  sha512sum -c SHA512SUMS
 1939  cat SHA512SUMS |grep .zip |sha512sum

Vérifier la somme de contrôle

$ gpgv --keyring /usr/share/keyrings/debian-role-keys.gpg -- SHA512SUMS.sign SHA512SUMS
gpgv: Signature faite le sam. 14 août 2021 22:21:26 CEST
gpgv:                avec la clef RSA DF9B9C49EAA9298432589D76DA87E80D6294BE9B
gpgv: Bonne signature de « Debian CD signing key <debian-cd@lists.debian.org> »

Vérifier le fichier contre la somme de contrôle

$ cat SHA512SUMS |grep .zip |sha512sum -c
firmware.zip: Réussi

2 - Préparation du média

Préparer une clé usb (capacité minimum environ 200M), avec formatage VFAT sans table de partition et étiquette FIRMWARE (impératif) . On suppose la clé attachée en /dev/sdb

$ sudo mkfs.vfat -n FIRMWARE -I /dev/sdb

Monter la clé

$ sudo mount /dev/disk/by-label/FIRMWARE /mnt

Recopier le contenu désarchiver/ décompresser du fichier firmware.zip dans un répertoire nommé impérativement firmware à la racine de la clé

$ sudo mkdir /mnt/firmware
$ sudo unzip firmware.zip -d /mnt/firmware

Démonter la clé

$ sudo umount /mnt

3 - Utilisation

Lancer l'installateur "libre " (sans firmwares propriétaires), arrivé à l'étape, "Détecter le matériel réseau", les firmwares non libres nécessaires au fonctionnement des interfaces réseau sont affichés avec la question :

Faut-il charger les microcodes manquant depuis un support amovible?

Connecter la clé contenant les firmwares non libres

Sélectionner Oui

En principe, la clé est automatiquement montée et les firmwares non libres utilisés
L'installation peut se poursuivre
Si la clé n'est pas reconnue, l'installateur propose de relancer l'étape de détection du matériel réseau ....
Réessayer et en cas de nouvel échec, tenter un montage manuel de la clé, voir ci-après

Annexe - Utilisation d'un média amovible ext4

Il est possible, moyennant une intervention manuelle dans le shell de l'installateur, d'utiliser un media amovible avec système de fichier ext4, à la place de VFAT

1 - Préparation du media

Formater la clé

$ sudo mkfs.ext4 /dev/sdb -L FIRMWARE

Monter la clé

$ sudo mount /dev/disk/by-label/FIRMWARE /mnt

Recopier le contenu désarchiver/ décompresser du fichier firmware.zip dans un répertoire nommé impérativement firmware à la racine de la clé

$ sudo mkdir /mnt/firmware
$ sudo unzip firmware.zip -d /mnt/firmware

2 - Utilisation

Lancer l'installation.
A l'étape Demande de chargement des microcodes à partir d'un média amovible, connecter la clé comme demandé
Cette étape échoue, le module ext4 n'étant pas chargé

Ouvrir un shell de l'installateur Ctrl Alt F2 (ou F3)
Vérifier la présence de la clé

# blkid

Vérifier que le module ext4 est manquant

# lsmod |grep ext4

Le charger

# modprobe ext4

Optionnellement, monter la clé

# mount /dev/disk/by-label/FIRMWARE /media

Revenir à l'écran principal de l'installateur Ctrl Alt F1
Et relancer l'étape de chargement des microcodes manquant depuis un support amovible