1 # SPDX-License-Identifier: GPL-2.0-only !! 1 menu "Kernel hacking"
2 # dummy file, do not delete !! 2
>> 3 config TRACE_IRQFLAGS_SUPPORT
>> 4 bool
>> 5 default y
>> 6
>> 7 source "lib/Kconfig.debug"
>> 8
>> 9 config DEBUG_DCFLUSH
>> 10 bool "D-cache flush debugging"
>> 11 depends on SPARC64 && DEBUG_KERNEL
>> 12
>> 13 config MCOUNT
>> 14 bool
>> 15 depends on SPARC64
>> 16 depends on FUNCTION_TRACER
>> 17 default y
>> 18
>> 19 config FRAME_POINTER
>> 20 bool
>> 21 depends on MCOUNT
>> 22 default y
>> 23
>> 24 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.