diff --git a/config-mpi b/config-mpi index b064e38ef9a34..d1024b948edc3 100644 --- a/config-mpi +++ b/config-mpi @@ -817,6 +817,7 @@ CONFIG_CRC_ITU_T=y CONFIG_PRINTK_TIME=y CONFIG_DYNAMIC_DEBUG=y CONFIG_DEBUG_KERNEL=y +CONFIG_DEBUG_INFO_DWARF_TOOLCHAIN_DEFAULT=y CONFIG_MAGIC_SYSRQ=y CONFIG_FUNCTION_TRACER=y CONFIG_FUNCTION_PROFILER=y