On Mon, Sep 8, 2008 at 9:35 PM, Yinghai Lu <yhlu.kernel@gmail.com> wrote:
BIOS-provided physical RAM map:
BIOS-e820: 0000000000000000 - 000000000009c800 (usable)
BIOS-e820: 000000000009c800 - 00000000000a0000 (reserved)
BIOS-e820: 00000000000e4000 - 0000000000100000 (reserved)
BIOS-e820: 0000000000100000 - 00000000bbf90000 (usable)
BIOS-e820: 00000000bbf90000 - 00000000bbf9e000 (ACPI data)
BIOS-e820: 00000000bbf9e000 - 00000000bbfe0000 (ACPI NVS)
BIOS-e820: 00000000bbfe0000 - 00000000bc000000 (reserved)
BIOS-e820: 00000000fee00000 - 00000000fee01000 (reserved)
BIOS-e820: 00000000ffb00000 - 0000000100000000 (reserved)
last_pfn = 0xbbf90 max_arch_pfn = 0x3ffffffff
dmesg is attached, but I haven't rebooted yet.
Luca