1 # SPDX-License-Identifier: GPL-2.0
2
3 config GPROF
4 bool "Enable gprof support"
5 depends on DEBUG_INFO && FRAME_POINTER
6 help
7 This allows profiling of a User-Mode
8 utility.
9
10 See <http://user-mode-linux.sourcefo
11 details.
12
13 If you're involved in UML kernel dev
14 say Y. If you're unsure, say N.
15
16 config GCOV
17 bool "Enable gcov support"
18 depends on DEBUG_INFO
19 depends on !KCOV
20 depends on !MODULES
21 help
22 This option allows developers to ret
23 session.
24
25 See <http://user-mode-linux.sourcefo
26 details.
27
28 If you're involved in UML kernel dev
29 say Y. If you're unsure, say N.
30
31 config EARLY_PRINTK
32 bool "Early printk"
33 default y
34 help
35 Write kernel log output directly to
36
37 This is useful for kernel debugging
38 early before the console code is ini
Linux® is a registered trademark of Linus Torvalds in the United States and other countries.
TOMOYO® is a registered trademark of NTT DATA CORPORATION.