I bought additional 2GB of RAM and inserted it into my laptop.The BIOS sees 4GB of RAM but Linux sees only 3GB.Output of free -m:             total       used       free     shared    buffers     cachedMem:          3009       1158       1850         14         37        304 -/+ buffers/cache:       816       2192Swap:         3942          0       3942 I found that a 32-bit linux doesn't see 4GB of RAM. But when I downloaded Debian I chose amd64, I think that mean it's a 64-bit architecture. The command uname -a says that it is a x86_64 architecture.Linux 3.16.0-4-amd64 #1 SMP Debian 3.16.7-ckt20-1+deb8u1 (2015-12-14) x86_64 GNU/LinuxMy question is what I should do in order to solve this problem?Edit: I have Chinese laptop Tsinghua Tongfang k46Acontent of /var/log/kern.log can be found here (it is too long for post here)https://cloud.mail.ru/public/Mz21/nERCLHFFT
Debian x86_64 and 4 GB RAM
linux;ram;x86