> > There is now an ugly workaround in the CVS tree that allows us to > > use 0x8000 as kernel entry point. > > So if I understand it correctly, we should be able to fix the bootloader > to jump to 0x8000 and actually load the kernel. The other way round preferably. > Chris, how far off that are we? Where are the bootloader sources atm ?