diff --git a/CONFIGS/xanmod-rt/gcc/config_x86-64-v1 b/CONFIGS/xanmod-rt/gcc/config_x86-64-v1 index 7860988ece21..252c2c980d75 100644 --- a/CONFIGS/xanmod-rt/gcc/config_x86-64-v1 +++ b/CONFIGS/xanmod-rt/gcc/config_x86-64-v1 @@ -1,21 +1,20 @@ # # Automatically generated file; DO NOT EDIT. -# Linux/x86 6.6.34 Kernel Configuration +# Linux/x86 6.6.35 Kernel Configuration # -CONFIG_CC_VERSION_TEXT="gcc-13 (Debian 13.2.0-25) 13.2.0" +CONFIG_CC_VERSION_TEXT="gcc-13 (Debian 13.3.0-1) 13.3.0" CONFIG_CC_IS_GCC=y -CONFIG_GCC_VERSION=130200 +CONFIG_GCC_VERSION=130300 CONFIG_CLANG_VERSION=0 CONFIG_AS_IS_GNU=y -CONFIG_AS_VERSION=24200 +CONFIG_AS_VERSION=24250 CONFIG_LD_IS_BFD=y -CONFIG_LD_VERSION=24200 +CONFIG_LD_VERSION=24250 CONFIG_LLD_VERSION=0 CONFIG_CC_CAN_LINK=y CONFIG_CC_CAN_LINK_STATIC=y CONFIG_CC_HAS_ASM_GOTO_OUTPUT=y CONFIG_CC_HAS_ASM_GOTO_TIED_OUTPUT=y -CONFIG_GCC_ASM_GOTO_OUTPUT_WORKAROUND=y CONFIG_TOOLS_SUPPORT_RELR=y CONFIG_CC_HAS_ASM_INLINE=y CONFIG_CC_HAS_NO_PROFILE_FN_ATTR=y diff --git a/CONFIGS/xanmod-rt/gcc/config_x86-64-v2 b/CONFIGS/xanmod-rt/gcc/config_x86-64-v2 index 499ec78a9973..7398c7610cc9 100644 --- a/CONFIGS/xanmod-rt/gcc/config_x86-64-v2 +++ b/CONFIGS/xanmod-rt/gcc/config_x86-64-v2 @@ -1,21 +1,20 @@ # # Automatically generated file; DO NOT EDIT. -# Linux/x86 6.6.34 Kernel Configuration +# Linux/x86 6.6.35 Kernel Configuration # -CONFIG_CC_VERSION_TEXT="gcc-13 (Debian 13.2.0-25) 13.2.0" +CONFIG_CC_VERSION_TEXT="gcc-13 (Debian 13.3.0-1) 13.3.0" CONFIG_CC_IS_GCC=y -CONFIG_GCC_VERSION=130200 +CONFIG_GCC_VERSION=130300 CONFIG_CLANG_VERSION=0 CONFIG_AS_IS_GNU=y -CONFIG_AS_VERSION=24200 +CONFIG_AS_VERSION=24250 CONFIG_LD_IS_BFD=y -CONFIG_LD_VERSION=24200 +CONFIG_LD_VERSION=24250 CONFIG_LLD_VERSION=0 CONFIG_CC_CAN_LINK=y CONFIG_CC_CAN_LINK_STATIC=y CONFIG_CC_HAS_ASM_GOTO_OUTPUT=y CONFIG_CC_HAS_ASM_GOTO_TIED_OUTPUT=y -CONFIG_GCC_ASM_GOTO_OUTPUT_WORKAROUND=y CONFIG_TOOLS_SUPPORT_RELR=y CONFIG_CC_HAS_ASM_INLINE=y CONFIG_CC_HAS_NO_PROFILE_FN_ATTR=y diff --git a/CONFIGS/xanmod-rt/gcc/config_x86-64-v3 b/CONFIGS/xanmod-rt/gcc/config_x86-64-v3 index b52ee1412c11..5688c9cc0e67 100644 --- a/CONFIGS/xanmod-rt/gcc/config_x86-64-v3 +++ b/CONFIGS/xanmod-rt/gcc/config_x86-64-v3 @@ -1,21 +1,20 @@ # # Automatically generated file; DO NOT EDIT. -# Linux/x86 6.6.34 Kernel Configuration +# Linux/x86 6.6.35 Kernel Configuration # -CONFIG_CC_VERSION_TEXT="gcc-13 (Debian 13.2.0-25) 13.2.0" +CONFIG_CC_VERSION_TEXT="gcc-13 (Debian 13.3.0-1) 13.3.0" CONFIG_CC_IS_GCC=y -CONFIG_GCC_VERSION=130200 +CONFIG_GCC_VERSION=130300 CONFIG_CLANG_VERSION=0 CONFIG_AS_IS_GNU=y -CONFIG_AS_VERSION=24200 +CONFIG_AS_VERSION=24250 CONFIG_LD_IS_BFD=y -CONFIG_LD_VERSION=24200 +CONFIG_LD_VERSION=24250 CONFIG_LLD_VERSION=0 CONFIG_CC_CAN_LINK=y CONFIG_CC_CAN_LINK_STATIC=y CONFIG_CC_HAS_ASM_GOTO_OUTPUT=y CONFIG_CC_HAS_ASM_GOTO_TIED_OUTPUT=y -CONFIG_GCC_ASM_GOTO_OUTPUT_WORKAROUND=y CONFIG_TOOLS_SUPPORT_RELR=y CONFIG_CC_HAS_ASM_INLINE=y CONFIG_CC_HAS_NO_PROFILE_FN_ATTR=y diff --git a/CONFIGS/xanmod-rt/gcc/config_x86-64-v4 b/CONFIGS/xanmod-rt/gcc/config_x86-64-v4 index a7fd746d5b2e..03db166ccd57 100644 --- a/CONFIGS/xanmod-rt/gcc/config_x86-64-v4 +++ b/CONFIGS/xanmod-rt/gcc/config_x86-64-v4 @@ -1,21 +1,20 @@ # # Automatically generated file; DO NOT EDIT. -# Linux/x86 6.6.34 Kernel Configuration +# Linux/x86 6.6.35 Kernel Configuration # -CONFIG_CC_VERSION_TEXT="gcc-13 (Debian 13.2.0-25) 13.2.0" +CONFIG_CC_VERSION_TEXT="gcc-13 (Debian 13.3.0-1) 13.3.0" CONFIG_CC_IS_GCC=y -CONFIG_GCC_VERSION=130200 +CONFIG_GCC_VERSION=130300 CONFIG_CLANG_VERSION=0 CONFIG_AS_IS_GNU=y -CONFIG_AS_VERSION=24200 +CONFIG_AS_VERSION=24250 CONFIG_LD_IS_BFD=y -CONFIG_LD_VERSION=24200 +CONFIG_LD_VERSION=24250 CONFIG_LLD_VERSION=0 CONFIG_CC_CAN_LINK=y CONFIG_CC_CAN_LINK_STATIC=y CONFIG_CC_HAS_ASM_GOTO_OUTPUT=y CONFIG_CC_HAS_ASM_GOTO_TIED_OUTPUT=y -CONFIG_GCC_ASM_GOTO_OUTPUT_WORKAROUND=y CONFIG_TOOLS_SUPPORT_RELR=y CONFIG_CC_HAS_ASM_INLINE=y CONFIG_CC_HAS_NO_PROFILE_FN_ATTR=y