1# SPDX-License-Identifier: GPL-2.0
2
3config DEBUG_TLB_SANITY
4	bool "Debug TLB sanity"
5	depends on DEBUG_KERNEL && MMU
6	help
7	  Enable this to turn on TLB sanity check on each entry to userspace.
8	  This check can spot missing TLB invalidation/wrong PTE permissions/
9	  premature page freeing.
10
11	  If unsure, say N.
12
13config LD_NO_RELAX
14	bool "Disable linker relaxation"
15	default y
16	help
17	  Enable this function to disable link-time optimizations.
18	  The default linker behavior is to combine identical literal
19	  values to reduce code size and remove unnecessary overhead from
20	  assembler-generated 'longcall' sequences.
21	  Enabling this option improves the link time but increases the
22	  code size, and possibly execution time.
23
24config S32C1I_SELFTEST
25	bool "Perform S32C1I instruction self-test at boot"
26	default y
27	help
28	  Enable this option to test S32C1I instruction behavior at boot.
29	  Correct operation of this instruction requires some cooperation from hardware
30	  external to the processor (such as bus bridge, bus fabric, or memory controller).
31	  It is easy to make wrong hardware configuration, this test should catch it early.
32
33	  Say 'N' on stable hardware.
34
35config PRINT_STACK_DEPTH
36	int "Stack depth to print" if DEBUG_KERNEL
37	default 64
38	help
39	  This option allows you to set the stack depth that the kernel
40	  prints in stack traces.
41
42config PRINT_USER_CODE_ON_UNHANDLED_EXCEPTION
43	bool "Dump user code around unhandled exception address"
44	help
45	  Enable this option to display user code around PC of the unhandled
46	  exception (starting at address aligned on 16 byte boundary).
47	  This may simplify finding faulting code in the absence of other
48	  debug facilities.
49