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