Howto use more than 4 GB RAM on Debian etch

Nowadays, many servers are running with 2-4 gigabytes of RAM, and their owners are discovering a problem: When they run 32-bit debian Linux distribution, their extra RAM is not being used. Fortunately, correcting the problem is only a matter of installing or building a kernel with a few specific parameters enabled or disabled.
Continue reading…