diff options
| -rw-r--r-- | configs/120.config | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/configs/120.config b/configs/120.config index 44e831d..5003604 100644 --- a/configs/120.config +++ b/configs/120.config @@ -1,6 +1,6 @@ # # Automatically generated file; DO NOT EDIT. -# Linux/x86 7.0.1-gentoo Kernel Configuration +# Linux/x86 7.0.2-gentoo Kernel Configuration # CONFIG_CC_VERSION_TEXT="gcc (Gentoo Hardened 15.2.1_p20260214 p5) 15.2.1 20260214" CONFIG_CC_IS_GCC=y @@ -29,7 +29,7 @@ CONFIG_RUSTC_HAS_SPAN_FILE=y CONFIG_RUSTC_HAS_UNNECESSARY_TRANSMUTES=y CONFIG_RUSTC_HAS_FILE_WITH_NUL=y CONFIG_RUSTC_HAS_FILE_AS_C_STR=y -CONFIG_PAHOLE_VERSION=0 +CONFIG_PAHOLE_VERSION=130 CONFIG_IRQ_WORK=y CONFIG_BUILDTIME_TABLE_SORT=y CONFIG_THREAD_INFO_IN_TASK=y @@ -5286,6 +5286,7 @@ CONFIG_DEBUG_INFO_COMPRESSED_NONE=y # CONFIG_DEBUG_INFO_COMPRESSED_ZLIB is not set # CONFIG_DEBUG_INFO_COMPRESSED_ZSTD is not set # CONFIG_DEBUG_INFO_SPLIT is not set +CONFIG_PAHOLE_HAS_LANG_EXCLUDE=y # CONFIG_GDB_SCRIPTS is not set CONFIG_FRAME_WARN=2048 CONFIG_STRIP_ASM_SYMS=y |