Alexander Graf wrote: > While trying to run -kernel with -bios pc-bios/pcbios.bin, I realized > that I was actually writing data to %es, but only set up %ds to a 32-bit > segment we want to write to. > > So at the end of the day the data hasn't actually been copied. Oops. > > So here's a fix to set ES instead of DS, which makes -kernel work with > BOCHS bios again (and actually makes the code do the correct thing)! >
ping