I have 2GB of memory in my dev machine, and all of it is recognized by the BIOS, but the GNOME System Monitor reports only 885.5 MB. Is the System Monitor to be trusted? If not, what other tool can I use to determine how much memory Debian recognizes? -- Glen