1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
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
|
