Add bifferboard
[coreboot.git] / src / Kconfig
index 64c359e8d05bd5c15fd6215d26ea83b053d6129c..845d26f29181191faedd42fac72e76b33882d758 100644 (file)
@@ -444,7 +444,7 @@ config PAYLOAD_FILE
 
 config PAYLOAD_FILE
        depends on PAYLOAD_SEABIOS
-       default "payloads/external/SeaBIOS/seabios/out/bios.bin.elf"
+       default "$(obj)/seabios/out/bios.bin.elf"
 
 config PAYLOAD_FILE
        depends on PAYLOAD_FILO
@@ -570,7 +570,7 @@ menu "Debugging"
 # TODO: Better help text and detailed instructions.
 config GDB_STUB
        bool "GDB debugging support"
-       default y
+       default n
        help
          If enabled, you will be able to set breakpoints for gdb debugging.
          See src/arch/x86/lib/c_start.S for details.