1# SPDX-License-Identifier: GPL-2.0 2menu "Kernel hacking" 3 4source "lib/Kconfig.debug" 5 6config GPROF 7 bool "Enable gprof support" 8 depends on DEBUG_INFO && FRAME_POINTER 9 help 10 This allows profiling of a User-Mode Linux kernel with the gprof 11 utility. 12 13 See <http://user-mode-linux.sourceforge.net/old/gprof.html> for more 14 details. 15 16 If you're involved in UML kernel development and want to use gprof, 17 say Y. If you're unsure, say N. 18 19config GCOV 20 bool "Enable gcov support" 21 depends on DEBUG_INFO 22 help 23 This option allows developers to retrieve coverage data from a UML 24 session. 25 26 See <http://user-mode-linux.sourceforge.net/old/gprof.html> for more 27 details. 28 29 If you're involved in UML kernel development and want to use gcov, 30 say Y. If you're unsure, say N. 31 32config EARLY_PRINTK 33 bool "Early printk" 34 default y 35 ---help--- 36 Write kernel log output directly to stdout. 37 38 This is useful for kernel debugging when your machine crashes very 39 early before the console code is initialized. 40 41endmenu 42