1 menu "Kernel Debugging"
4 bool "Kernel Debugging"
14 early boot code (multiboot parsing etc)
17 bool "dstack messages"
21 stack debugging. warning: heavy output!
24 bool "rstack messages"
28 stack debugging. warning: heavy output!
30 config DEBUG_DICTIONARY
31 bool "Dictionary loading/dumping"
35 print few additional information on dictionary loading/dumping
42 print additional information for some prime words, like branches
44 config DEBUG_INTERPRETER
49 additional information about the unix.c builtin C interpreter
50 and some other places where it actually does not belong.
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.
60 config DEBUG_CONSOLE_SERIAL
62 depends on DEBUG_CONSOLE
69 depends on DEBUG_CONSOLE_SERIAL
72 0 for none, 1 for ttyS0, 2 for ttyS1
75 int "Serial line speed"
76 depends on DEBUG_CONSOLE_SERIAL
79 supported speeds are: 115200, 57600, 38400, 19200, 9600
81 config DEBUG_CONSOLE_VGA
83 depends on DEBUG_CONSOLE
86 use vga textmode and keyboard console