diff --git a/config-mpi b/config-mpi index ce07bcfaec88..ef78cce362af 100644 --- a/config-mpi +++ b/config-mpi @@ -816,6 +816,8 @@ 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_DEBUG_INFO_BTF=y CONFIG_MAGIC_SYSRQ=y CONFIG_FUNCTION_TRACER=y CONFIG_FUNCTION_PROFILER=y