# dmesg | grep BIOS-e820
 [    0.000000] e820: BIOS-provided physical RAM map:
 [    0.000000] BIOS-e820: [mem 0x0000000000000000-0x000000000005efff] usable
 [    0.000000] BIOS-e820: [mem 0x000000000005f000-0x000000000005ffff] reserved
 [    0.000000] BIOS-e820: [mem 0x0000000000060000-0x000000000009ffff] usable
 [    0.000000] BIOS-e820: [mem 0x00000000000a0000-0x00000000000fffff] reserved
 [    0.000000] BIOS-e820: [mem 0x0000000000100000-0x0000000077470fff] usable
 [    0.000000] BIOS-e820: [mem 0x0000000077471000-0x00000000774f1fff] reserved
 [    0.000000] BIOS-e820: [mem 0x00000000774f2000-0x0000000078c82fff] usable
 [    0.000000] BIOS-e820: [mem 0x0000000078c83000-0x000000007ac32fff] reserved
 [    0.000000] BIOS-e820: [mem 0x000000007ac33000-0x000000007b662fff] ACPI NVS
 [    0.000000] BIOS-e820: [mem 0x000000007b663000-0x000000007b7d2fff] ACPI data
 [    0.000000] BIOS-e820: [mem 0x000000007b7d3000-0x000000007b7fffff] usable
 [    0.000000] BIOS-e820: [mem 0x000000007b800000-0x000000008fffffff] reserved
 [    0.000000] BIOS-e820: [mem 0x00000000fed1c000-0x00000000fed1ffff] reserved
 [    0.000000] BIOS-e820: [mem 0x0000000100000000-0x0000000c7fffffff] usable