Hello. Ralf Baechle 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 000a0000-000bffff and MDA occupies 000b0000-000b7ffff (if not less). This range is probably reserved by BIOS for something like EBDA...
WBR, Sergei
