1 # SPDX-License-Identifier: GPL-2.0 !! 1 menu "Kernel hacking" 2 # << 3 config LIGHTWEIGHT_SPINLOCK_CHECK << 4 bool "Enable lightweight spinlock chec << 5 depends on DEBUG_KERNEL && SMP && !DEB << 6 default y << 7 help << 8 Add checks with low performance impa << 9 to catch memory overwrites at runtim << 10 spinlock debugging you should choose << 11 which will detect unitialized spinlo << 12 If unsure say Y here. << 13 2 14 config TLB_PTLOCK !! 3 source "lib/Kconfig.debug" 15 bool "Use page table locks in TLB faul << 16 depends on DEBUG_KERNEL && SMP << 17 default n << 18 help << 19 Select this option to enable page ta << 20 fault handler. This ensures that pag << 21 updated consistently on SMP machines << 22 loss in performance. << 23 4 >> 5 endmenu
Linux® is a registered trademark of Linus Torvalds in the United States and other countries.
TOMOYO® is a registered trademark of NTT DATA CORPORATION.