Loading...
1# SPDX-License-Identifier: GPL-2.0
2menu "Kernel hacking"
3
4config TRACE_IRQFLAGS_SUPPORT
5 bool
6 default y
7
8source "lib/Kconfig.debug"
9
10config DEBUG_DCFLUSH
11 bool "D-cache flush debugging"
12 depends on SPARC64 && DEBUG_KERNEL
13
14config MCOUNT
15 bool
16 depends on SPARC64
17 depends on FUNCTION_TRACER
18 default y
19
20config FRAME_POINTER
21 bool
22 depends on MCOUNT
23 default y
24
25endmenu