diff options
author | Yang Zhang <yang.z.zhang@intel.com> | 2015-08-28 09:58:54 +0800 |
---|---|---|
committer | Yang Zhang <yang.z.zhang@intel.com> | 2015-09-01 12:44:00 +0800 |
commit | e44e3482bdb4d0ebde2d8b41830ac2cdb07948fb (patch) | |
tree | 66b09f592c55df2878107a468a91d21506104d3f /qemu/roms/openbios/kernel/Kconfig | |
parent | 9ca8dbcc65cfc63d6f5ef3312a33184e1d726e00 (diff) |
Add qemu 2.4.0
Change-Id: Ic99cbad4b61f8b127b7dc74d04576c0bcbaaf4f5
Signed-off-by: Yang Zhang <yang.z.zhang@intel.com>
Diffstat (limited to 'qemu/roms/openbios/kernel/Kconfig')
-rw-r--r-- | qemu/roms/openbios/kernel/Kconfig | 88 |
1 files changed, 88 insertions, 0 deletions
diff --git a/qemu/roms/openbios/kernel/Kconfig b/qemu/roms/openbios/kernel/Kconfig new file mode 100644 index 000000000..32831f737 --- /dev/null +++ b/qemu/roms/openbios/kernel/Kconfig @@ -0,0 +1,88 @@ +menu "Kernel Debugging" + +config DEBUG + bool "Kernel Debugging" + default y + help + Kernel Debugging + +config DEBUG_BOOT + bool "Boot messages" + depends on DEBUG + default y + help + early boot code (multiboot parsing etc) + +config DEBUG_DSTACK + bool "dstack messages" + depends on DEBUG + default n + help + stack debugging. warning: heavy output! + +config DEBUG_RSTACK + bool "rstack messages" + depends on DEBUG + default n + help + stack debugging. warning: heavy output! + +config DEBUG_DICTIONARY + bool "Dictionary loading/dumping" + depends on DEBUG + default n + help + print few additional information on dictionary loading/dumping + +config DEBUG_INTERNAL + bool "Prime Words" + depends on DEBUG + default n + help + print additional information for some prime words, like branches + +config DEBUG_INTERPRETER + bool "Interpreter" + depends on DEBUG + default n + help + additional information about the unix.c builtin C interpreter + and some other places where it actually does not belong. + +config DEBUG_CONSOLE + bool "Console" + default y + help + use builtin C console code for user interaction. There is no + real alternative to this until someone writes a display/kbd or + serial driver in forth. + +config DEBUG_CONSOLE_SERIAL + bool "Serial Console" + depends on DEBUG_CONSOLE + default y + help + use serial console. + +config SERIAL_PORT + int "Serial Port" + depends on DEBUG_CONSOLE_SERIAL + default "1" + help + 0 for none, 1 for ttyS0, 2 for ttyS1 + +config SERIAL_SPEED + int "Serial line speed" + depends on DEBUG_CONSOLE_SERIAL + default "115200" + help + supported speeds are: 115200, 57600, 38400, 19200, 9600 + +config DEBUG_CONSOLE_VGA + bool "VGA Console" + depends on DEBUG_CONSOLE + default y + help + use vga textmode and keyboard console + +endmenu |