615748aefa
Microblaze has support for early printk. The second serial driver (uart16550/8250) has no microblaze support for early printk. Signed-off-by: Michal Simek <monstr@monstr.eu>
31 lines
673 B
Plaintext
31 lines
673 B
Plaintext
# For a description of the syntax of this configuration file,
|
|
# see Documentation/kbuild/kconfig-language.txt.
|
|
|
|
menu "Kernel hacking"
|
|
|
|
config TRACE_IRQFLAGS_SUPPORT
|
|
def_bool y
|
|
|
|
source "lib/Kconfig.debug"
|
|
|
|
config EARLY_PRINTK
|
|
bool "Early printk function for kernel"
|
|
depends on SERIAL_UARTLITE_CONSOLE
|
|
default n
|
|
help
|
|
This option turns on/off early printk messages to console.
|
|
First Uartlite node is taken.
|
|
|
|
config HEART_BEAT
|
|
bool "Heart beat function for kernel"
|
|
default n
|
|
help
|
|
This option turns on/off heart beat kernel functionality.
|
|
First GPIO node is taken.
|
|
|
|
config DEBUG_BOOTMEM
|
|
depends on DEBUG_KERNEL
|
|
bool "Debug BOOTMEM initialization"
|
|
|
|
endmenu
|