+ config KERNEL_DEBUG_LL
+ bool
+ default n
+ depends on arm
+ help
+ ARM low level debugging
+
+ config KERNEL_EARLY_PRINTK
+ bool "Compile the kernel with early printk"
+ default n
+ depends on arm
+ select KERNEL_DEBUG_KERNEL
+ select KERNEL_DEBUG_LL if arm
+ help
+ Compile the kernel with early printk support.
+ This is only useful for debugging purposes to send messages
+ over the serial console in early boot.
+ Enable this to debug early boot problems.
+
+ config KERNEL_AIO
+ bool "Compile the kernel with asynchronous IO support"
+ default n
+
+ config KERNEL_MAGIC_SYSRQ
+ bool "Compile the kernel with SysRq support"
+ default n
+
+ config KERNEL_ELF_CORE
+ bool "Enable process core dump support"
+ default y
+
+ config KERNEL_PROVE_LOCKING
+ bool "Enable kernel lock checking"
+ select KERNEL_DEBUG_KERNEL
+ default n
+
+ config KERNEL_PRINTK_TIME
+ bool "Enable printk timestamps"
+ default y
+