Google Groups no longer supports new Usenet posts or subscriptions. Historical content remains viewable.
Dismiss

Mettre l’UEfi a jour , y a autre chose ?

0 views
Skip to first unread message

ptilou

unread,
Dec 11, 2022, 1:30:32 PM12/11/22
to
Slt,

J’ai trouve ça :
Comment mettre à jour son Bios/UEFI sous Linux?
13 janvier 2022 benzo astuces, linux 5
bios uefi
Dernière mise a jour 10 Août 2022 a 10:58
Faire les mises à jour régulièrement sur son pc est une bonne pratique qui permet de gagner en sécurité et en performances. Elles sont proposées automatiquement par notre système d’exploitation (windows, linux ou macOS).
Mais sais-tu qu’il existe aussi un autre type de mise à jour que l’on a tendance à zapper trop souvent ? Je veux parler de celles qui concernent le BIOS/UEFI de ton ordinateur. On en parle moins mais pourtant elles peuvent parfois te sauver la mise. Problème: sous Linux leur application n’est pas toujours évidente. Dans cet article, je te donne une petite astuce pour pouvoir les faire facilement.

A l’origine , le BIOS/UEFI…

Le BIOS/UEFI est le premier micro programme qui se lance lorsque tu démarres ton ordi. Il est stocké dans une puce sur la carte mère de ton pc. Grosso modo son rôle est de s’assurer au boot du pc que tous les composants et périphériques sont opérationnels pour que le système d’exploitation puisse par la suite démarrer. On appelle cette étape le POST (power on self test) Il comprend bien d’autres fonctionnalités dont je vous fait l’économie dans cet article. A noter que par abus de langage on parle de Bios/uefi ,mais en 2022 tous les pc desktop utilisent bien le mode UEFI.

Un ptit schéma pour rappeler où se situe l’étape du BIOS/UEFI dans la la séquence de boot d’un linux :


La séquence de boot d »un linux (source: https://iponwire.com)
Pourquoi mettre à jour le bios/UEFI ?

Globalement dès que tu as un soucis matériel et que tu as tout essayé (maj systèmes, applicatives, pilotes) on te conseille de mettre à jour ton bios/uefi. On aurait pu même commencer par cette étape. Cette mise à jour permet notamment d’obtenir:

de meilleures performances matérielles
une sécurité accrue
une meilleure compatibilité entre carte mère et composants (nouvelle ram ,carte graphique, nouveau proc…)
nouvelles fonctionnalités …
Comment mettre à jour son bios /uefi ?

Attention, cette opération n’est pas anodine, à réaliser avec d’extrêmes précautions

2 manières de procéder:
– par réseau, méthode la plus simple et valable pour tout type de config avec possibilité de l’activer automatiquement à chaque démarrage
– par media local, on télécharge le fichier de mise à jour sur son pc et on l’exécute au démarrage à partir du menu bios

Dans mon cas , je suis sur un pc qui ne me permet pas de mettre à jour mon bios via le réseau. Je dois donc opter pour l’installation directe par fichier en local.
Problème, le constructeur HP fournit le fichier de mise à jour sous forme d’EXE. Format installable uniquement sous windows :-/

Astuce pour mettre à jour le bios sous Linux

Voici donc les manip à faire sous linux:

identifier le modèle de son pc (numéro de série) voir ici
récupérer la maj de Bios sur le site du constructeur dans rubrique souvent appelée: « logiciels et pilotes »
télécharger le fichier .exe proposé

J’ai donc un fichier .exe qui s’intitule « sp136491.exe » On va extraire ce fichier comme suit:

Installation du paquet p7zip:
sudo apt-get install -y p7zip-full

Création répertoire d’accueil des fichiers à extraitre:
mkdir /tmp/test ; cd /tmp/test

On extrait les fichiers de maj du bios:
7z -e sp136491.exe

On créer un dossier sur la partition uefi:
sudo mkdir -p /boot/efi/EFI/HP/BIOS/New

On copie le fichier binaire de maj du bios sur la partition uefi:
sudo cp *.bin /boot/efi/EFI/HP/BIOS/New

On vérifie que le dossier contient uniquement le binaire de notre mise à jour:
ls -l /boot/efi/EFI/HP/BIOS/New

On allume un cierge.. et on redémarre le pc .

On rentre dans le menu bios (touche esc , suppr ou f12) et on choisit l’update via media local.
Le fichier de mise à jour est détecté et propose de procéder à l’upgrade (voir ci-dessous)



CREATOR: gd-jpeg v1.0 (using IJG JPEG v62), quality = 90
Et voilà mise à jour de bios réussie avec un .exe sous linux o_0


Ptilou
0 new messages