Tyan Thunder K8W S2885 with 4GB memory missing memory??

[Joost Kraaijeveld <J.Kraaijeveld@Askesis.nl>]

Hi,

Is there something special about running Debian Sarge 3.1 AMD64 on a
Tyan Thunder K8W S2885 with 4GB memory? 

On boot, the motherboard reports 4096 MB memory (which is correct: I
have put it there myself ;-)) but Debian (top, gnome-system-monitor and
"cat /proc/meminfo") report 3734480 kB memory. 

Does anyone know where my memory is?

-- 
Groeten,

Joost Kraaijeveld
Askesis B.V.
Molukkenstraat 14
6524NB Nijmegen
tel: 024-3888063 / 06-51855277
fax: 024-3608416
e-mail: J.Kraaijeveld@Askesis.nl
web: www.askesis.nl