Signal with different u_ctx if current_uthread set
[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 source "kern/arch/$SRCARCH/Kconfig"
19
20 source "kern/src/net/Kconfig"
21
22 source "kern/drivers/Kconfig"
23
24 menu "Filesystems"
25
26 config KFS
27         bool "KFS filesystem"
28         default y
29         help
30                 KFS is an initramfs bundled into the kernel, and contains your root
31                 filesystem.
32
33 config KFS_PATHS
34         depends on KFS
35         string "KFS/Initramfs paths"
36         default kern/kfs
37         help
38                 Space separated list of paths to directories to bundle into KFS.  This
39                 will be your root filesystem.
40
41 config KFS_CPIO_BIN
42         depends on KFS
43         string "KFS CPIO helper"
44         default ""
45         help
46                 This binary (relative to the root directory) will be run before
47                 bundling the KFS Paths into the CPIO.
48
49 config EXT2FS
50         bool "Ext2 filesystem"
51         default n
52         help
53                 Build in support for ext2.  Extremely experimental, and only works with
54                 a block device image, which will be mounted at /mnt.  If you select
55                 this, you must specify a block device.
56
57 config EXT2_BDEV
58         depends on EXT2FS
59         string "Ext2 image file"
60         default mnt/ext2fs.img
61         help
62                 This file needs to be an ext2 image (file that looks like a block
63                 device).  You should be able to mount this file in your host OS.  It
64                 will be bundled into the kernel and mounted at /mnt.
65
66 endmenu
67
68 menu "Memory Management"
69
70 config PAGE_COLORING
71         bool "Page coloring"
72         default n
73         help
74                 Turns on internal support for page coloring.  When turned off, the page
75                 allocator acts like there is only one color.  Hasn't been used in a few
76                 years.
77
78 config BOXBORO
79         depends on PAGE_COLORING
80         bool "Boxboro-specific page coloring"
81         default n
82         help
83                 Say 'n'.
84
85 endmenu
86
87 menu "Kernel Debugging"
88
89 menu "Per-cpu Tracers"
90
91 config TRACE_KMSGS
92         bool "KMSG Tracing"
93         default n
94         help
95                 Turns on KMSG tracing, using the per-cpu ring buffer (holds about 256
96                 events).  You can access this from the monitor via "trace pcpui".  Turn
97                 this off for a slight performance improvement on every KMSG (and every
98                 MCP proc_yield).
99
100 config TRACE_LOCKS
101         bool "Lock Tracing"
102         depends on SPINLOCK_DEBUG
103         default n
104         help
105                 Turns on lock tracing, using the per-cpu ring buffer.  This records the
106                 a timestamp and lock address, in an over-write tracing style (meaning
107                 it'll clobber older events).  If you have locking issues, this may give
108                 you clues as to which locks were grabbed recently.
109
110 endmenu
111
112 config SPINLOCK_DEBUG
113         bool "Spinlock debugging"
114         default n
115         help
116                 Turns on debugging, which tracks the last time a lock was acquired and
117                 detects improper lock acquisition based on IRQ levels (e.g. using
118                 spin_lock() in IRQ context).  This will slow down all lock
119                 acquisitions.
120
121 config SEQLOCK_DEBUG
122         bool "Seqlock debugging"
123         default n
124         help
125                 Provides asserts to detect seqlock errors.  This will allow a malicious
126                 userspace to trigger a panic in the kernel.
127
128 config SEMAPHORE_DEBUG
129         bool "Semaphore debugging"
130         default n
131         help
132                 Turns on debugging, which tracks the last time and location that a
133                 semaphore was downed, and provides a linked list of all semaphores that
134                 have waiters.  This will slow down all semaphore ups and downs.
135
136 config RESET_STACKS
137         bool "Reset Stacks"
138         default y
139         help
140                 When idling, the kernel will reset the stack of its kernel thread to
141                 the top of the stack, abandoning its context.  This is useful so we do
142                 not run off the end of our stacks, but makes backtracing difficult.
143
144 config KTHREAD_POISON
145         bool "Kthread Poison Canary"
146         default n
147         help
148                 Kthreads will use a bit of storage at the bottom of the stack to track
149                 the state of the kthread.  This is useful to catch various bugs with
150                 kthreading, such as launching the same kthread twice concurrently.
151
152 config DISABLE_SMT
153         bool "Disables symmetric multithreading"
154         default n
155         help
156                 Disables hyperthreading by telling the kernel to never give out even
157                 numbered cores to MCPs.  This does not check to see if the threads are
158                 in fact siblings, or if the target machine is hyperthreaded.
159
160 config PRINTK_NO_BACKSPACE
161         bool "Printk with no backspace"
162         default n
163         help
164                 One of the serial devices I was using a while back had issues printing
165                 backspaces.  This was an old hack to deal with that.
166
167 config SYSCALL_STRING_SAVING
168         bool "Syscall string saving"
169         default n
170         help
171                 Kmallocs a small buffer for each syscall and attaches it to the
172                 kthread, which can be viewed when debugging semaphores.  Individual
173                 syscalls can save info in this buffer.
174
175 endmenu
176
177 config VM
178         bool "Virtual Machine support"
179         default n
180         help
181                 VM support -- not working! Based on KVM.
182
183
184 menu "Misc/Old Options"
185
186 config ARSC_SERVER
187         bool "Asynchronous remote syscalls"
188         default n
189         help
190                 Code to run a syscall-server on a core.  A process can submit syscalls
191                 and get the results asynchronously.  Hasn't been used in years.  Say
192                 'n' unless you want to play around.
193
194 # SPARC auto-selects this
195 config APPSERVER
196         bool "Appserver"
197         default n
198         help
199                 Old school I/O was through a remote machine.  Not sure if anyone uses
200                 this anymore.
201
202 config SERIAL_IO
203         bool "Serial IO"
204         default n
205         help
206                 Like the appserver, serial I/O was an old attempt to process I/O on a
207                 remote machine across the serial port.
208
209 config SINGLE_CORE
210         bool "Single core"
211         default n
212         help
213                 Have the kernel boot only a single core.  Can be useful for debugging,
214                 but hasn't been used in years.
215
216 config BSD_ON_CORE0
217         bool "BSD on core 0"
218         default n
219         help
220                 This was an old joke.  Say 'n', since we can't simply #include <bsd>.
221
222 endmenu
223
224 source "kern/src/ktest/Kconfig"