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