1 # SPDX-License-Identifier: GPL-2.0-only !! 1 # SPDX-License-Identifier: GPL-2.0
2 # dummy file, do not delete !! 2
>> 3 config TRACE_IRQFLAGS_SUPPORT
>> 4 bool
>> 5 default y
>> 6
>> 7 config DEBUG_DCFLUSH
>> 8 bool "D-cache flush debugging"
>> 9 depends on SPARC64 && DEBUG_KERNEL
>> 10
>> 11 config MCOUNT
>> 12 bool
>> 13 depends on SPARC64
>> 14 depends on FUNCTION_TRACER
>> 15 default y
>> 16
>> 17 config FRAME_POINTER
>> 18 bool
>> 19 depends on MCOUNT
>> 20 default y
Linux® is a registered trademark of Linus Torvalds in the United States and other countries.
TOMOYO® is a registered trademark of NTT DATA CORPORATION.