On Sun, Feb 05, 2012 at 12:46:58AM +0000, Julian Pidancet wrote:
As per Ian comment on previous commit 7123d9834d58287d43514d7799ed1a7b34eea243
Signed-off-by: Julian Pidancet julian.pidancet@gmail.com
src/Kconfig | 1 + 1 files changed, 1 insertions(+), 0 deletions(-)
diff --git a/src/Kconfig b/src/Kconfig index cf0bff0..cee0005 100644 --- a/src/Kconfig +++ b/src/Kconfig @@ -361,6 +361,7 @@ menu "Debugging" config DEBUG_IO_PORT depends on DEBUG_IO hex "Debug IO port address"
default 0x00e9 if XEN default 0x0402 help Bochs uses the 0x0402 address by default, whereas Xen
Setting of default values doesn't work well when done this way. To test, run "make menuconfig" select a build without xen, and run make. You'll see out/autoconf.h has DEBUG_IO_PORT=0x402. Then run "make menuconfig" select xen, and run make. You'll still see DEBUG_IO_PORT=0x402.
You can look at VGA_VID in vgasrc/Kconfig for one possible solution to the above.
-Kevin