I was messing around with the boot process, and managed
to slightly modify mkrom and start32.inc so I can
successfully use rombase 0xfffff000. Basically
it simply required using a short jump instead of a long
one and using %cs instead of %es in loading the gdt.
So now I don't even need to implement the 384KB memory
hole at 640KB - 1MB.
The only problem I couldn't properly fix was in NLBConfig.
It chouldn't properly print an interger like 0xfffff000 in hex.
I had to resort to just copying the string from the rombase
directive. Can anyone with more python knowledge help here?
Eric
