9d9dc6f0b1b56307b01eaf38696e7f10d285a7d6
[akaros.git] / Kconfig
1 #
2 # For a description of the syntax of this configuration file,
3 # see Linux's Documentation/kbuild/kconfig-language.txt.
4 #
5 mainmenu "Akaros/$SRCARCH Kernel Configuration"
6
7 # This is info, not a setable option.  Must make ARCH=arch to change.
8 config SRCARCH
9         string
10         option env="ARCH"
11
12 config 64BIT
13         bool "64-bit kernel"
14         default n
15         help
16                 Say yes to build a 64-bit kernel, amd64 / x86_64, riscv64, etc.
17
18 menuconfig RUN_INIT_SCRIPT
19         bool "Run init script after boot"
20         default n
21         help
22                 Run an init script after boot instead of dropping into the monitor
23
24 config INIT_SCRIPT_PATH_AND_ARGS
25     depends on RUN_INIT_SCRIPT
26     string "Path to init script, followed by its arguments."
27     default /bin/init.sh
28     help
29                 Path to the init script run at boot time, followed by a space separated
30                 list of arguments
31
32 source "kern/arch/$SRCARCH/Kconfig"
33
34 source "kern/src/net/Kconfig"
35
36 source "kern/drivers/Kconfig"
37
38 menu "Filesystems"
39
40 config KFS
41         bool "KFS filesystem"
42         default y
43         help
44                 KFS is an initramfs bundled into the kernel, and contains your root
45                 filesystem.
46
47 config KFS_PATHS
48         depends on KFS
49         string "KFS/Initramfs paths"
50         default kern/kfs
51         help
52                 Space separated list of paths to directories to bundle into KFS.  This
53                 will be your root filesystem.
54
55 config KFS_CPIO_BIN
56         depends on KFS
57         string "KFS CPIO helper"
58         default ""
59         help
60                 This binary (relative to the root directory) will be run before
61                 bundling the KFS Paths into the CPIO.
62
63 config EXT2FS
64         bool "Ext2 filesystem"
65         default n
66         help
67                 Build in support for ext2.  Extremely experimental, and only works with
68                 a block device image, which will be mounted at /mnt.  If you select
69                 this, you must specify a block device.
70
71 config EXT2_BDEV
72         depends on EXT2FS
73         string "Ext2 image file"
74         default mnt/ext2fs.img
75         help
76                 This file needs to be an ext2 image (file that looks like a block
77                 device).  You should be able to mount this file in your host OS.  It
78                 will be bundled into the kernel and mounted at /mnt.
79
80 endmenu
81
82 menu "Memory Management"
83
84 config PAGE_COLORING
85         bool "Page coloring"
86         default n
87         help
88                 Turns on internal support for page coloring.  When turned off, the page
89                 allocator acts like there is only one color.  Hasn't been used in a few
90                 years.
91
92 config BOXBORO
93         depends on PAGE_COLORING
94         bool "Boxboro-specific page coloring"
95         default n
96         help
97                 Say 'n'.
98
99 endmenu
100
101 menu "Kernel Debugging"
102
103 menu "Per-cpu Tracers"
104
105 config TRACE_KMSGS
106         bool "KMSG Tracing"
107         default n
108         help
109                 Turns on KMSG tracing, using the per-cpu ring buffer (holds about 256
110                 events).  You can access this from the monitor via "trace pcpui".  Turn
111                 this off for a slight performance improvement on every KMSG (and every
112                 MCP proc_yield).
113
114 config TRACE_LOCKS
115         bool "Lock Tracing"
116         depends on SPINLOCK_DEBUG
117         default n
118         help
119                 Turns on lock tracing, using the per-cpu ring buffer.  This records the
120                 a timestamp and lock address, in an over-write tracing style (meaning
121                 it'll clobber older events).  If you have locking issues, this may give
122                 you clues as to which locks were grabbed recently.
123
124 endmenu
125
126 config SPINLOCK_DEBUG
127         bool "Spinlock debugging"
128         default n
129         help
130                 Turns on debugging, which tracks the last time a lock was acquired and
131                 detects improper lock acquisition based on IRQ levels (e.g. using
132                 spin_lock() in IRQ context).  This will slow down all lock
133                 acquisitions.
134
135 config SEQLOCK_DEBUG
136         bool "Seqlock debugging"
137         default n
138         help
139                 Provides asserts to detect seqlock errors.  This will allow a malicious
140                 userspace to trigger a panic in the kernel.
141
142 config SEMAPHORE_DEBUG
143         bool "Semaphore debugging"
144         default n
145         help
146                 Turns on debugging, which tracks the last time and location that a
147                 semaphore was downed, and provides a linked list of all semaphores that
148                 have waiters.  This will slow down all semaphore ups and downs.
149
150 config SEM_SPINWAIT
151         bool "Semaphore spinwaiting"
152         default n
153         help
154                 Turns on semaphore spinwaiting.  In lieu of intelligent Adaptive
155                 Mutexes, busy semaphores will just spin for a while before fully
156                 sleeping.
157
158 config SEM_SPINWAIT_NR_LOOPS
159         int "Number of polls before sleeping"
160         depends on SEM_SPINWAIT
161         default 100
162         help
163                 How many times to poll a busy semaphore before going to sleep.
164
165 config RESET_STACKS
166         bool "Reset Stacks"
167         default y
168         help
169                 When idling, the kernel will reset the stack of its kernel thread to
170                 the top of the stack, abandoning its context.  This is useful so we do
171                 not run off the end of our stacks, but makes backtracing difficult.
172
173 config LARGE_KSTACKS
174         bool "Large (two-page) Kernel Stacks"
175         default y
176         help
177                 Ideally, we'd like to use single-page stacks, which are easier on the
178                 memory allocator.  Some of the Plan 9 code hogs stack space, and we may
179                 run off the end of a single-page stack.
180
181                 Say 'y' to play it safe and use the larger, slower stacks.  Say 'n' for
182                 higher performance, and mention this setting if you have any weird
183                 crashes or panics.
184
185 config KTHREAD_POISON
186         bool "Kthread Poison Canary"
187         default n
188         help
189                 Kthreads will use a bit of storage at the bottom of the stack to track
190                 the state of the kthread.  This is useful to catch various bugs with
191                 kthreading, such as launching the same kthread twice concurrently.
192
193 config DISABLE_SMT
194         bool "Disables symmetric multithreading"
195         default n
196         help
197                 Disables hyperthreading by telling the kernel to never give out even
198                 numbered cores to MCPs.  This does not check to see if the threads are
199                 in fact siblings, or if the target machine is hyperthreaded.
200
201 config PRINTK_NO_BACKSPACE
202         bool "Printk with no backspace"
203         default n
204         help
205                 One of the serial devices I was using a while back had issues printing
206                 backspaces.  This was an old hack to deal with that.
207
208 config SYSCALL_STRING_SAVING
209         bool "Syscall string saving"
210         default n
211         help
212                 Kmallocs a small buffer for each syscall and attaches it to the
213                 kthread, which can be viewed when debugging semaphores.  Individual
214                 syscalls can save info in this buffer.
215
216 config BLOCK_EXTRAS
217         bool "Block Extra Data"
218         default y
219         help
220                 Extends blocks to have a list of other memory blocks.  Useful for
221                 networking performance.  This is only an option while we debug the
222                 implementation.  Say y.  If you have networking bugs, try turning this
223                 off, and if that helps, tell someone.
224
225 endmenu
226
227 config VM
228         bool "Virtual Machine support"
229         default n
230         help
231                 VM support -- not working! Based on KVM.
232
233
234 menu "Misc/Old Options"
235
236 config ARSC_SERVER
237         bool "Asynchronous remote syscalls"
238         default n
239         help
240                 Code to run a syscall-server on a core.  A process can submit syscalls
241                 and get the results asynchronously.  Hasn't been used in years.  Say
242                 'n' unless you want to play around.
243
244 # SPARC auto-selects this
245 config APPSERVER
246         bool "Appserver"
247         default n
248         help
249                 Old school I/O was through a remote machine.  Not sure if anyone uses
250                 this anymore.
251
252 config SERIAL_IO
253         bool "Serial IO"
254         default n
255         help
256                 Like the appserver, serial I/O was an old attempt to process I/O on a
257                 remote machine across the serial port.
258
259 config SINGLE_CORE
260         bool "Single core"
261         default n
262         help
263                 Have the kernel boot only a single core.  Can be useful for debugging,
264                 but hasn't been used in years.
265
266 config BSD_ON_CORE0
267         bool "BSD on core 0"
268         default n
269         help
270                 This was an old joke.  Say 'n', since we can't simply #include <bsd>.
271
272 endmenu
273
274 source "kern/src/ktest/Kconfig"