On Mon, 16 Jul 2007 12:44:35 +0200 Ivan Glushkov wrote: > In both cases, how > lshw sees the right amount of memory, but the kernel does not?! You need a kernel with HIGHMEM support (all recent Debian kernels should have it). Look for CONFIG_HIGHMEM4G in your kernel .config