tree 0a590f857d525be56fa073d0a9209c2608953190
parent 0745eb1e4336bf665a911754d18ddd63794b352d
author Alexander Graf <agraf@suse.de> 1258476556 +0100
committer Anthony Liguori <aliguori@us.ibm.com> 1259875558 -0600

Make -kernel for linux work with bochsbios

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)!

Signed-off-by: Alexander Graf <agraf@suse.de>
Signed-off-by: Anthony Liguori <aliguori@us.ibm.com>