x86: Make the vdso2c compiler use the host architecture headers
[linux/fpc-iii.git] / arch / microblaze / Kconfig.debug
blob012e377330cd064ceae18ae5afe324a0d78c2d3c
1 # For a description of the syntax of this configuration file,
2 # see Documentation/kbuild/kconfig-language.txt.
4 menu "Kernel hacking"
6 config TRACE_IRQFLAGS_SUPPORT
7         def_bool y
9 source "lib/Kconfig.debug"
11 config EARLY_PRINTK
12         bool "Early printk function for kernel"
13         depends on SERIAL_UARTLITE_CONSOLE || SERIAL_8250_CONSOLE
14         default n
15         help
16           This option turns on/off early printk messages to console.
17           First Uartlite node is taken.
19 config HEART_BEAT
20         bool "Heart beat function for kernel"
21         default n
22         help
23           This option turns on/off heart beat kernel functionality.
24           First GPIO node is taken.
26 endmenu