| 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 |
