problème de mémoire non disponible

[le père Léon]

Bonjour,

Sur une machine avec Debian Trixie, j'ai deux barrettes de mémoire de 4Go.
lshw voit bien les deux barrettes de 4Go
/proc/meminfo n'en indique que 4Go
Qu'est-ce que je peux explorer pour disposer de mes 8Go ?

--
Léon