Move SeaBIOS post/boot stack to avoid conflict with gPXE.

It appears gPXE also uses a stack at 0x7c00.  gPXE probably shouldn't
    do that, but for now, move SeaBIOS stack to 0x7000.

diff --git a/src/config.h b/src/config.h
index 3033133f7beacf24b4d5b8ac9c0fa87763b6e704..05f39421843fda9983ebb74a98d3275f4a6e7c7f 100644 (file)
--- a/src/config.h
+++ b/src/config.h
@@ -128,7 +128,7 @@
 #define CONFIG_BIOS_REVISION 0x01
 
 // Various memory addresses used by the code.
-#define BUILD_STACK_ADDR          0x7c00
+#define BUILD_STACK_ADDR          0x7000
 #define BUILD_S3RESUME_STACK_ADDR 0x1000
 #define BUILD_AP_BOOT_ADDR        0x10000
 #define BUILD_EBDA_MINIMUM        0x90000