summaryrefslogtreecommitdiffstats
path: root/qemu/roms/openbios/kernel/Kconfig
diff options
context:
space:
mode:
Diffstat (limited to 'qemu/roms/openbios/kernel/Kconfig')
-rw-r--r--qemu/roms/openbios/kernel/Kconfig88
1 files changed, 0 insertions, 88 deletions
diff --git a/qemu/roms/openbios/kernel/Kconfig b/qemu/roms/openbios/kernel/Kconfig
deleted file mode 100644
index 32831f737..000000000
--- a/qemu/roms/openbios/kernel/Kconfig
+++ /dev/null
@@ -1,88 +0,0 @@
-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