#
# Automatically generated file; DO NOT EDIT.
-# Linux/i386 4.14.258-gnu1 Kernel Configuration
+# Linux/i386 4.14.260-gnu1 Kernel Configuration
#
# CONFIG_64BIT is not set
CONFIG_X86_32=y
CONFIG_STRICT_MODULE_RWX=y
CONFIG_ARCH_HAS_REFCOUNT=y
# CONFIG_REFCOUNT_FULL is not set
+CONFIG_ARCH_USE_MEMREMAP_PROT=y
#
# GCOV-based kernel profiling