Hello, I wrote:
Are the non-memory parts marked as reserved?
No, so, is that a need to mark them?
Initially all pages are marked as reserved.
Which seems to be good enough for x86:
$ cat /proc/iomem
00000000-0009efff : System RAM
0009f000-0009ffff : reserved
000c0000-000cffff : pnp 00:0d
000e0000-000fffff : pnp 00:0d
00100000-7fe5b7ff : System RAM
[...]
The 0x9f000 - 0x9ffff range is the good old ISA I/O memory range (classic
MDA/CGA/VGA etc.), that is non-memory yet:
Not really, it's a usual RAM. CGA/VGA video memory occupies
Oh, I meant EGA/VGA. CGA memory is at 000b8000-000bffff, of course.
000a0000-000bffff and MDA occupies 000b0000-000b7ffff (if not less).
This range is probably reserved by BIOS for something like EBDA...
Which stands for Extended BIOS Data Area.
WBR, Sergei
