1 # SPDX-License-Identifier: GPL-2.0
2
3 config DEBUG_TLB_SANITY
4 bool "Debug TLB sanity"
5 depends on DEBUG_KERNEL && MMU
6 help
7 Enable this to turn on TLB sanity ch
8 This check can spot missing TLB inva
9 premature page freeing.
10
11 If unsure, say N.
12
13 config LD_NO_RELAX
14 bool "Disable linker relaxation"
15 default y
16 help
17 Enable this function to disable link
18 The default linker behavior is to co
19 values to reduce code size and remov
20 assembler-generated 'longcall' seque
21 Enabling this option improves the li
22 code size, and possibly execution ti
23
24 config S32C1I_SELFTEST
25 bool "Perform S32C1I instruction self-
26 default y
27 help
28 Enable this option to test S32C1I in
29 Correct operation of this instructio
30 external to the processor (such as b
31 It is easy to make wrong hardware co
32
33 Say 'N' on stable hardware.
34
35 config PRINT_STACK_DEPTH
36 int "Stack depth to print" if DEBUG_KE
37 default 64
38 help
39 This option allows you to set the st
40 prints in stack traces.
41
42 config PRINT_USER_CODE_ON_UNHANDLED_EXCEPTION
43 bool "Dump user code around unhandled
44 help
45 Enable this option to display user c
46 exception (starting at address align
47 This may simplify finding faulting c
48 debug facilities.
Linux® is a registered trademark of Linus Torvalds in the United States and other countries.
TOMOYO® is a registered trademark of NTT DATA CORPORATION.