#
# Automatically generated file; DO NOT EDIT.
-# Linux/x86_64 4.14.258-gnu1 Kernel Configuration
+# Linux/x86_64 4.14.260-gnu1 Kernel Configuration
#
CONFIG_64BIT=y
CONFIG_X86_64=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