| # Enable all kinds of kernel debug features | |
| CONFIG_DEBUG_KERNEL=y | |
| CONFIG_DYNAMIC_DEBUG=y | |
| CONFIG_DEBUG_FS=y | |
| # Turn off DEBUG_INFO to compress image size. | |
| CONFIG_DEBUG_INFO=n | |
| CONFIG_FUNCTION_TRACER=y | |
| CONFIG_FUNCTION_GRAPH_TRACER=y | |
| CONFIG_STACK_TRACER=y | |
| CONFIG_DYNAMIC_FTRACE=y | |
| # We want to allow for sysrqs over the console | |
| CONFIG_MAGIC_SYSRQ=y | |
| CONFIG_MAGIC_SYSRQ_SERIAL=y | |
| CONFIG_MAGIC_SYSRQ_DEFAULT_ENABLE=0x1 |