私のシステムには 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
最後の行は 4G を超える範囲を示しており、Zone NORMAL としてマッピングされています。
[ 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 を使用しています。
参考資料の支援も結構です。