Convient à un HP EliteBook 745 G5 (sous GNU/Linux)
Laptop équipé de 8 Gio de RAM à l'origine (c'est OK, mais avec deux sessions utilisateurs simultanées, ça rame un chouia), j'ai souhaité étendre sa capacité au maximum (32 Gio).
1ère surprise, la barrette RAM d'origine n'était pas insérée à l'endroit préconisé par HP :-D (slot n°2, plutôt que n°1).
Pas de problème pour y installer 2 barrettes G.Skill RipJaws de 16 Gio chacune.
Mais 1ère inquiétude au boot : le BIOS n'annonce que 16 Gio disponibles...
Pourtant, Debian 12 (bureau KDE) annonce bien 32 Gio (30.3 précisément).
Mais la commande "inxi --memory" affiche des infos a priori inquiétantes également, au sujet du Device-2 : "size: 64 MiB" (alors que pour le Device-1 : "size: 16 GiB").
J'ai donc chargé la mémoire autant que possible, avec deux sessions simultanées, et pu atteindre une utilisation de 19.3 Gio, sans aucun signe de dysfonctionnement de Linux :-)
Mission remplie, je n'aurai dorénavant plus de souci à me faire vis-à-vis de la RAM (peu importe ce qu'annonce le BIOS UEFI).











































