Hi Eric!
I agree! But I think we should move the ntoskrnl base
address to 0x80100000
and map the first MB of physical memory to 0x80000000 - 0x800FFFFF in order
to simplify BIOS calls.
Does that conflict with the statement I read in some books about
completely skipping the low 64k physical address range for ease of
detecting NULL pointers?
Emanuele