Re: More on oskit-mach booting troubles

[Roland McGrath]

I suspect that what changed since the time it worked was that the oskit
didn't always consult the BIOS information.  But that's just a guess and I
haven't looked at the change histories.

I would be pretty intimidated by the idea of changing phys_mem_va to !=0.
It would probably be fine in all the oskit stuff, but might well break vm.

I think the thing to do is save physical page 0 (not reuse it) and map it
in some other part of the kernel va.  Then special-case that page in the
oskit_mem_map_phys callback.