1 # SPDX-License-Identifier: GPL-2.0
3 config DEBUG_TLB_SANITY
4 bool "Debug TLB sanity"
5 depends on DEBUG_KERNEL && MMU
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.
14 bool "Disable linker relaxation"
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.
24 config S32C1I_SELFTEST
25 bool "Perform S32C1I instruction self-test at boot"
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.
33 Say 'N' on stable hardware.
35 config PRINT_STACK_DEPTH
36 int "Stack depth to print" if DEBUG_KERNEL
39 This option allows you to set the stack depth that the kernel
40 prints in stack traces.