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