#
# Automatically generated file; DO NOT EDIT.
-# Linux/i386 5.10.61-gnu1 Kernel Configuration
+# Linux/i386 5.10.85-gnu1 Kernel Configuration
#
CONFIG_CC_VERSION_TEXT="i386-linux-gcc (GCC) 11.2.0"
CONFIG_CC_IS_GCC=y
# end of GCOV-based kernel profiling
CONFIG_HAVE_GCC_PLUGINS=y
+# CONFIG_GCC_PLUGINS is not set
# end of General architecture-dependent options
CONFIG_RT_MUTEXES=y