私のシステムには4GBのRAMがあります。以下は私のBIOSが提供するRAMマップです。
[ 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
最後の行は、ゾーンNORMALにマップされた4Gよりも大きい範囲を提供します。
[ 0.000000] Zone ranges:
[ 0.000000] DMA [mem 0x00001000-0x00ffffff]
[ 0.000000] DMA32 [mem 0x01000000-0xffffffff]
[ 0.000000] Normal [mem 0x100000000-0x11fdfffff]
cat /proc/meminfoの出力
MemTotal: 3955304 kB
MemFree: 1878108 kB
MemAvailable: 2182668 kB
この510MBはどこから来るのでしょうか？それとも私のシステムに4.5Gを搭載していますか？
私は3.16.3を実行している64ビットArch Linuxを使用しています。
参考資料の助けも良いです。