-
Notifications
You must be signed in to change notification settings - Fork 0
/
Kconfig
410 lines (340 loc) · 11.9 KB
/
Kconfig
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
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
#
# Copyright 2014, General Dynamics C4 Systems
#
# This software may be distributed and modified according to the terms of
# the GNU General Public License version 2. Note that NO WARRANTY is provided.
# See "LICENSE_GPLv2.txt" for details.
#
# @TAG(GD_GPL)
#
config KERNEL_PATH
string
option env="KERNEL_ROOT_PATH"
config ARCH_ARM_V6
bool
default n
config ARCH_ARM_V7A
bool
default n
menu "seL4 System"
choice
prompt "Architecture Type"
default ARCH_X86
help
Select the architecture seL4 will be running on.
config ARCH_X86
bool "x86"
config ARCH_ARM
bool "ARM"
endchoice
config ARCH_IA32
bool
default y if ARCH_X86
choice
prompt "ARM CPU selection"
depends on ARCH_ARM
help
Select the ARM CPU version
config ARM1136JF_S
bool "ARM1136JF-S"
depends on ARCH_ARM
select ARCH_ARM_V6
help
Support for ARM1136JF-S
config ARM_CORTEX_A8
bool "Cortex A8"
depends on ARCH_ARM
select ARCH_ARM_V7A
help
Support for Cortex A8 processor
config ARM_CORTEX_A9
bool "Cortex A9"
depends on ARCH_ARM
select ARCH_ARM_V7A
help
Support for Cortex A9 processor
config ARM_CORTEX_A15
bool "Cortex A15"
depends on ARCH_ARM
select ARCH_ARM_V7A
help
Support for Cortex A15 processor
endchoice
config PLAT_EXYNOS54XX
bool
default n
help
Common flag for Exynos 54210 and 5422
choice
prompt "Platform Type"
help
Select the platform for the architecture
config PLAT_KZM
bool "KZM iMX.31-based platform"
depends on ARCH_ARM
depends on ARM1136JF_S
help
Support for the KZM platform
config PLAT_OMAP3
bool "OMAP3 (BeagleBoard)"
depends on ARCH_ARM
depends on ARM_CORTEX_A8
help
Support for platforms based on OMAP3 SoCs.
config PLAT_AM335X
bool "AM335X (BeagleBone)"
depends on ARCH_ARM
depends on ARM_CORTEX_A8
help
Support for AM335x platform (BeagleBone).
config PLAT_EXYNOS4
bool "EXYNOS4 (ODROID-X)"
depends on ARCH_ARM
depends on ARM_CORTEX_A9
help
Support for EXYNOS4 platform (ODROID-X).
config PLAT_EXYNOS5410
bool "EXYNOS5410 (ODROID-XU)"
select PLAT_EXYNOS54XX
depends on ARCH_ARM
depends on ARM_CORTEX_A15
help
Support for EXYNOS5410 platform (ODROID-XU).
config PLAT_EXYNOS5422
bool "EXYNOS5422 (ODROID-XU3)"
select PLAT_EXYNOS54XX
depends on ARCH_ARM
depends on ARM_CORTEX_A15
help
Support for EXYNOS5422 platform (ODROID-XU3).
config PLAT_EXYNOS5250
bool "EXYNOS5250 (ARNDALE)"
depends on ARCH_ARM
depends on ARM_CORTEX_A15
help
Support for EXYNOS5250 platform (ARNDALE).
config PLAT_APQ8064
bool "Qualcomm Snapdrogon S4 APQ8064 (Inforce IFC6410)"
depends on ARCH_ARM
depends on ARM_CORTEX_A15
help
Support for Qualcomm Snapdragon S4 APQ8064 platforms (Inforce IFC6410).
config PLAT_IMX6
bool "iMX6 (Sabre Lite)"
depends on ARCH_ARM
depends on ARM_CORTEX_A9
help
Support for iMX6 platform (Sabre Lite).
config PLAT_ZYNQ7000
bool "Zynq-7000 (Xilinx ZC706)"
depends on ARCH_ARM
depends on ARM_CORTEX_A9
help
Support for Xilinx Zynq-7000 platforms.
config PLAT_PC99
bool "PC99"
depends on ARCH_X86
help
Support for PC99 based platform
config PLAT_ALLWINNERA20
bool "ALLWINNERA20 (CUBIETRUCK)"
depends on ARCH_ARM
depends on ARM_CORTEX_A15
help
Support for ALLWINNERA20 platform (CUBIETRUCK).
endchoice
source "$KERNEL_PATH/src/arch/arm/Kconfig"
source "$KERNEL_PATH/src/plat/pc99/Kconfig"
endmenu
menu "seL4 System Parameters"
config ROOT_CNODE_SIZE_BITS
range 4 27
int "Root CNode Size (2^n slots)"
default 16
help
The acceptable range is 4-27, based on the kernel-supplied caps.
The root CNode needs at least enough space to contain up to
BI_CAP_DYN_START. Note that in practice your root CNode will need
to be several bits larger than 4 to fit device frame caps and
cannot be 27 bits as it won't fit in memory.
config TIMER_TICK_MS
int "Timer tick period in milliseconds"
default 2
help
The number of milliseconds between timer ticks.
config TIME_SLICE
int "Time slice"
default 5
help
Number of timer ticks until a thread is preempted.
config RETYPE_FAN_OUT_LIMIT
int "Retype fan out limit"
default 256
help
Maximum number of objects that can be created in a single Retype()
invocation.
config MAX_NUM_WORK_UNITS_PER_PREEMPTION
int "Max work units per preemption"
default 100
help
Maximum number of work units (delete/revoke iterations) until
the kernel checks for pending interrupts (and preempts the
currently running syscall if interrupts are pending).
config MAX_NUM_BOOTINFO_DEVICE_REGIONS
int "Max number of bootinfo device regions"
default 199
config MAX_NUM_BOOTINFO_UNTYPED_CAPS
int "Max number of bootinfo untyped caps"
default 167
config MAX_NUM_NODES
int "Max number of cpu nodes"
range 1 256
depends on ARCH_X86
default 1
config MAX_NUM_PASSTHROUGH_DEVICES
int "Max number of passthrough devices"
depends on IOMMU
default 20
config FASTPATH
bool "Enable fastpath"
default y
help
Enable IPC fastpath
config NUM_DOMAINS
int "Number of domains"
default 1
help
The number of scheduler domains in the system
config DOMAIN_SCHEDULE
string "Domain schedule"
help
A C file providing the symbols ksDomSchedule and
ksDomScheduleLength to be linked with the kernel as a scheduling
configuration.
config NUM_PRIORITIES
int "Number of priority levels"
default 256
help
The number of priority levels per domain
config BENCHMARK
bool "Adds a log buffer to the kernel for instrumentation."
default n
help
Enables a 1MB log buffer and functions for extracting data from it at user level.
Use TRACE_POINT_START and TRACE_POINT_STOP macros for recording data.
NOTE this is only tested on the sabre and will not work on platforms with < 512mb memory.
This is not fully implemented for x86.
endmenu
menu "Build Options"
config DEBUG_BUILD
bool "Build the kernel with debug support"
default y
help
Enable the debug facilities in the kernel
config IRQ_REPORTING
bool "Report suprious or undelivered IRQs"
depends on DEBUG_BUILD
default y
help
seL4 does not properly check for and handle spurious interrupts
This can result in unnecessary output from the kernel during
debug builds. If you are CERTAIN these messages are benign
then use this config to turn them off
choice
prompt "Compiler optimisation flag"
default OPTIMISATION_O2
help
Select the compiler optimisation level
config OPTIMISATION_Os
bool "-Os"
help
Compiler optimisations tuned for size
config OPTIMISATION_O0
bool "-O0"
help
No optimisation
config OPTIMISATION_O1
bool "-O1"
help
Basic compiler optimisations
config OPTIMISATION_O2
bool "-O2"
help
Aggressive compiler optimisations
config OPTIMISATION_O3
bool "-O3"
help
Enable all optimisations (may increase code size)
endchoice
config DANGEROUS_CODE_INJECTION
bool "Build kernel with support for executing arbitrary code in protected mode"
default n
help
Adds a system call that allows users to specify code to be run in kernel
mode. Useful for profiling.
config DANGEROUS_CODE_INJECTION_ON_UNDEF_INSTR
bool "Make undefined instructions execute code in protected mode"
depends on ARCH_ARM_V6
default n
help
Replaces the undefined instruction handler with a call to a function
pointer in r8. This is an alternative mechanism to the code
injection syscall. On ARMv6 the syscall interferes with the caches
and branch predictor in such a way that it is unsuitable for
benchmarking. This option has no effect on non-ARMv6 platforms.
config DEBUG_DISABLE_L2_CACHE
bool "Disable L2 cache"
depends on ARCH_ARM
default n
help
Do not enable the L2 cache on startup for debugging purposes.
config DEBUG_DISABLE_L1_ICACHE
bool "Disable L1 instruction cache"
depends on ARCH_ARM && DEBUG_DISABLE_L2_CACHE
default n
help
Do not enable the L1 instruction cache on startup for debugging purposes.
config DEBUG_DISABLE_L1_DCACHE
bool "Disable L1 data cache"
depends on ARCH_ARM && DEBUG_DISABLE_L2_CACHE
default n
help
Do not enable the L1 data cache on startup for debugging purposes.
config DEBUG_DISABLE_BRANCH_PREDICTION
bool "Disable branch prediction"
depends on ARCH_ARM
default n
help
Do not enable branch prediction (also called program flow control)
on startup. This makes execution time more deterministic at the
expense of dramatically decreasing performance. Primary use is for
debugging.
config DEBUG_DISABLE_PREFETCHERS
bool "Disable prefetchers"
depends on ARCH_IA32
default n
help
On ia32 platforms, this option disables the L2 hardware prefetcher, the L2
adjacent cache line prefetcher, the DCU prefetcher and the DCU IP prefetcher.
Currently unimplemented on other platforms.
endmenu
menu "Errata"
config ARM_ERRATA_430973
bool "Enable workaround for 430973 Cortex-A8 (r1p0..r1p2) erratum"
depends on ARCH_ARM
depends on ARM_CORTEX_A8
default n
help
Enables a workaround for the 430973 Cortex-A8 (r1p0..r1p2) erratum. Error occurs
if code containing ARM/Thumb interworking branch is replaced by different code
at the same virtual address.
config ARM_ERRATA_773022
bool "Enable workaround for 773022 Cortex-A15 (r0p0..r0p4) erratum"
depends on ARCH_ARM
depends on ARM_CORTEX_A15
default y
help
Enables a workaround for the 773022 Cortex-A15 (r0p0..r0p4) erratum. Error occurs
on rare sequences of instructions and results in the loop buffer delivering
incorrect instructions. The work around is to disable the loop buffer
endmenu