Eu tenho 4 GB de RAM no meu sistema. A seguir está o mapa de RAM fornecido pelo BIOS.
[ 0.000000] BIOS-e820: [mem 0x0000000000000000-0x000000000009d7ff] usable
[ 0.000000] BIOS-e820: [mem 0x000000000009d800-0x000000000009ffff] reserved
[ 0.000000] BIOS-e820: [mem 0x00000000000e0000-0x00000000000fffff] reserved
.
.
.
[ 0.000000] BIOS-e820: [mem 0x00000000fed1c000-0x00000000fed1ffff] reserved
[ 0.000000] BIOS-e820: [mem 0x00000000fee00000-0x00000000fee00fff] reserved
[ 0.000000] BIOS-e820: [mem 0x00000000ff000000-0x00000000ffffffff] reserved
[ 0.000000] BIOS-e820: [mem 0x0000000100000000-0x000000011fdfffff] usable
A última linha fornece um alcance superior a 4G e é mapeada como Zona NORMAL.
[ 0.000000] Zone ranges:
[ 0.000000] DMA [mem 0x00001000-0x00ffffff]
[ 0.000000] DMA32 [mem 0x01000000-0xffffffff]
[ 0.000000] Normal [mem 0x100000000-0x11fdfffff]
Saída de cat /proc/meminfo
MemTotal: 3955304 kB
MemFree: 1878108 kB
MemAvailable: 2182668 kB
De onde vêm esses 510 MB? Ou meu sistema está instalado com 4,5 G?
Estou usando um Arch Linux de 64 bits rodando 3.16.3.
Ajuda com material de referência também é adequada.