1 # SPDX-License-Identifier: GPL-2.0 2 3 config DEBUG_DCFLUSH 4 bool "D-cache flush debugging" 5 depends on SPARC64 && DEBUG_KERNEL 6 7 config MCOUNT 8 bool 9 depends on SPARC64 10 depends on FUNCTION_TRACER 11 select ARCH_WANT_FRAME_POINTERS 12 select FRAME_POINTER 13 default y 14 15 config HAVE_HARDLOCKUP_DETECTOR_SPARC64 16 bool 17 depends on HAVE_NMI 18 select HARDLOCKUP_DETECTOR_SPARC64 19 help 20 Sparc64 hardlockup detector is the last one developed before adding 21 the common infrastructure for handling hardlockup detectors. It is 22 always built. It does _not_ use the common command line parameters 23 and sysctl interface, except for /proc/sys/kernel/nmi_watchdog. 24 25 config HARDLOCKUP_DETECTOR_SPARC64 26 bool 27 depends on HAVE_HARDLOCKUP_DETECTOR_SPARC64
Linux® is a registered trademark of Linus Torvalds in the United States and other countries.
TOMOYO® is a registered trademark of NTT DATA CORPORATION.