Sommaire

• Plongeons nous dans les entrailles de nos machines…
• Naissance d'EFI
• Voyons un peu comment est construit un EFI…
• Concrêtement, comment identifier un EFI ?
• Bootons en EFI
• Le shell EFI
• efilinux
• Remerciements

Qu'il semble loin le temps, béni pour certains, maudits pour d'autres, où il était nécessaire de connaître les IRQs et DMAs de sa machine pour l'utiliser, où, loin du Plug'n'Pray, le matériel se contentait de laisser l'humain configurer…
Puis vint le Plug'n'Play, son compagnon l'ACPI permettant de (…)

Bon et bien l’année démarre sur les chapeaux de roue. Après avoir été touché par le rhume qui traine en région parisienne pour le nouvel an vla-t-y pas qu'on nous annonce le bug du siècle sur les CPU intel et plus généralement ceux qui implémentent un algorithme de type Tomasulo (exécution dans le désordre et spéculative).

Développant sur le projet NERF (et la conf de Ron Minich en vidéo) depuis quelques temps, je me suis tout de suite dit (…)

Bonsoir,

Il y a bien longtemps que je n'ai écris de journal. Il faut dire que l'année 2019 a été un tsunami de mon cote suite à l'acquisition de ma société par un groupe américain, un déménagement outre atlantique et un départ de celui-ci pour rejoindre HPE à Houston, où je pilote la stratégie Open Platform. Me voila "influenceur" (plutot que chef on va dire) chez un constructeur, et de retour à mes sources (j'avais quitté HPE pour créer ma (…)

Bonjour à tous,

Voici l’histoire de ma petite galère de la journée d’hier : le fabriquant de la carte mère qui équipe mon petit serveur de données basse consommation, MSI pour ne pas le nommer, ne fournit pas les dernières images de ses EFI.
Les dernières versions ne sont disponibles que sous la forme d’un utilitaire windows (.exe), qui permet uniquement le flashage depuis cet OS. Cela malgré le fait que l’EFI de l’engin en question possède un outil de (…)

Oui bon ça va hein, la traduction française elle passe pas pour le titre.

Bonjour !

Aujourd'hui, comme évoqué dans des discussions précédentes (et c'est mon deuxième journal avec plusieurs mois de retard), je voudrais vous parler de petitboot, mon bootloader préféré, en me focalisant sur la seule implémentation à laquelle j'ai accès aujourd'hui, avec ses problèmes mineurs et ses problèmes… pas majeurs, mais disons franchement ridicules.
On va donc parler de firmware dans le style du BIOS ou de (…)

Une situation classique

Imaginons une machine physique sous Linux hébergeant des services habituels (partage de fichiers, VPN…) utilisé par une petite entreprise/collectivité. Dans l'optique d'économiser de l'énergie, ce serveur devrait être allumé le matin et éteint le soir, automatiquement. Après tout, il faut bien qu'on divise notre production de CO2 par deux d'ici à 2030, ça ne va pas se faire tout seul.

Le serveur est un classique Dell PowerEdge T110 II, qu'on peut trouver d'occasion pour peu (…)

Un rapide journal pour partager avec vous sur l'épopée NERF et linuxboot. Le projet connait un succès très large à tel point qu'il a généré la creation d'un groupe Open Firmware au sein de la fondation Open Compute.

Comme quoi partir d'une idée après quelques échanges mène parfois à faire des choses de plus grande envergure. Comme vous le savez on commercialise des machines d'occasion avec ajout d'équipements neufs, machines basées sur une approche Open Hardware. Une des fonctions (…)

Bonjour Vous, Bonjour moi,

ce matin en lisant l'internet, je lis cette article concernant le projet coreboot (le site officiel, projet de BIOS libre). Cela concernerait les plateformes AMD dotées de leurs processeurs tout en un (partie graphique+partie cpu) Fusion qui à l'avenir auraient un bios libre.

Bonne avancée je suppose, Quelles seraient les possibilités de travail concernant ce qui démarre avec un tel bios, avec ce qu'il y a derrière, je pense notamment aux parties qui sont secrètes (…)

Bonjour,

en ce moment, j'ai besoin de mettre à jour les paramètres BIOS de beaucoup de machines. Heureusement, je peux interagir avec elles à distance grâce à ipmitool.

Dans le journal précédent, j'ai écrit un outil pour facilement configurer des machines à distance pour qu'elles redémarrent dans les paramètres BIOS.

Maintenant, il reste qu'il faut que j'édite les paramètres de toutes ces machines. Toutes ces machines sont identiques mais je ne peux pas changer les paramètres de BIOS à (…)

Billet sur le blog de Greg Kroah-Hartman : http://kroah.com/log/blog/2013/09/02/booting-a-self-signed-linux-kernel/

Donc d'après ce que je comprends, une machine avec un firmware UEFi n'est plus un souci pour les utilisateurs de Linux qui pourront non seulement installer leur système mais aussi empêcher le boot d'un autre.

Si vous lisez un peu l'actualité, vous n'avez pas pu passer à côté.
Un chercher (Dragos Ruiu) a trouvé un nouveau virus qui fait froid dans le dos:
-vous utilisez openBSD plutôt que windows et pensez être safe: c'est mort
-vous déconnectez vos PC du réseau (filaire, wifi, bluetooth, 3G, etc..) pour empêcher un malware de communiquer: c'est mort

Alors BadBIOS, c'est quoi, et comment ça marche? Ca corrompt toutes les clés USB branchées sur un PC. Ca en profite (…)

J'ai récemment acheter une nouvelle mobo de MSI. Moi qui était habitué au gygabyte , je fut parfois surpris par le support linux de MSI (c'est à dire inexistant).
Là où les difficultés ont commencé fut lors de a mise à jour BIOS.

En effet, i lfaut savoir que MSI ne fournissant rien à LVFS, il faut mettre à jour son BIOS par la méthode antique et éprouvé du boot dans un menu flash.

Pour se faire aller dans le (…)