Comprei mais 2 GB de RAM e inseri no meu laptop. A BIOS vê 4 GB de RAM, mas o Linux vê apenas 3 GB.
Saída de free -m :
total used free shared buffers cached
Mem: 3009 1158 1850 14 37 304
-/+ buffers/cache: 816 2192
Swap: 3942 0 3942
Eu descobri que um linux de 32 bits não vê 4GB de RAM. Mas quando baixei o Debian, escolhi o amd64, acho que isso significa que é uma arquitetura de 64 bits. O comando uname -a diz que é uma arquitetura x86_64.
Linux 3.16.0-4-amd64 #1 SMP Debian 3.16.7-ckt20-1+deb8u1 (2015-12-14) x86_64 GNU/Linux
A minha pergunta é o que devo fazer para resolver este problema?
Editar: Tenho laptop chinês Tsinghua Tongfang k46A conteúdo de /var/log/kern.log pode ser encontrado aqui (é muito longo para postar aqui) link