qemu/roms/openbios/kernel/Kconfig

   1 menu "Kernel Debugging"
   2
   3 config DEBUG
   4         bool "Kernel Debugging"
   5         default y
   6         help
   7           Kernel Debugging
   8
   9 config DEBUG_BOOT
  10         bool "Boot messages"
  11         depends on DEBUG
  12         default y
  13         help
  14           early boot code (multiboot parsing etc)
  15
  16 config DEBUG_DSTACK
  17         bool "dstack messages"
  18         depends on DEBUG
  19         default n
  20         help
  21           stack debugging. warning: heavy output!
  22
  23 config DEBUG_RSTACK
  24         bool "rstack messages"
  25         depends on DEBUG
  26         default n
  27         help
  28           stack debugging. warning: heavy output!
  29
  30 config DEBUG_DICTIONARY
  31         bool "Dictionary loading/dumping"
  32         depends on DEBUG
  33         default n
  34         help
  35           print few additional information on dictionary loading/dumping
  36
  37 config DEBUG_INTERNAL
  38         bool "Prime Words"
  39         depends on DEBUG
  40         default n
  41         help
  42           print additional information for some prime words, like branches
  43
  44 config DEBUG_INTERPRETER
  45         bool "Interpreter"
  46         depends on DEBUG
  47         default n
  48         help
  49           additional information about the unix.c builtin C interpreter
  50           and some other places where it actually does not belong.
  51
  52 config DEBUG_CONSOLE
  53         bool "Console"
  54         default y
  55         help
  56           use builtin C console code for user interaction. There is no
  57           real alternative to this until someone writes a display/kbd or
  58           serial driver in forth.
  59
  60 config DEBUG_CONSOLE_SERIAL
  61         bool "Serial Console"
  62         depends on DEBUG_CONSOLE
  63         default y
  64         help
  65           use serial console.
  66
  67 config SERIAL_PORT
  68         int "Serial Port"
  69         depends on DEBUG_CONSOLE_SERIAL
  70         default "1"
  71         help
  72           0 for none, 1 for ttyS0, 2 for ttyS1
  73
  74 config SERIAL_SPEED
  75         int "Serial line speed"
  76         depends on DEBUG_CONSOLE_SERIAL
  77         default "115200"
  78         help
  79           supported speeds are: 115200, 57600, 38400, 19200, 9600
  80
  81 config DEBUG_CONSOLE_VGA
  82         bool "VGA Console"
  83         depends on DEBUG_CONSOLE
  84         default y
  85         help
  86           use vga textmode and keyboard console
  87
  88 endmenu