Ludovic Cesar a écrit :
Salut, Que te donne un grep HIGHMEM /boot/config-`uname -r` ?Un topics que j'ai lu ce matin sur le même genre de problème: http://forum.debian-fr.org/viewtopic.php?f=3&t=13572Ludo
Merci pour la réponseJustement il ne me donne rien. Je vais essayer de recompiler avec l'option HIGMEM, mais je croyais que les noyaux en 64 bits étaient "dispensés" de cette option ? Cela dit après vérification des barrettes, et mise à jour (mouvementée) du bios, je constate que dans le bios extended memory est toujours à 3 Go, donc j'opte pour un bios foireux... Et le fait qu'il ne reconnaissent pas nominativement le processeur semble confirmer... Pas très sérieux le constructeur...