#
# Automatically generated file; DO NOT EDIT.
-# Linux/x86 4.14.9-gnu Kernel Configuration
+# Linux/x86 4.14.11-gnu Kernel Configuration
#
# CONFIG_64BIT is not set
CONFIG_X86_32=y
#
# Automatically generated file; DO NOT EDIT.
-# Linux/x86 4.14.9-gnu Kernel Configuration
+# Linux/x86 4.14.11-gnu Kernel Configuration
#
# CONFIG_64BIT is not set
CONFIG_X86_32=y
#
# Automatically generated file; DO NOT EDIT.
-# Linux/x86 4.14.9-gnu Kernel Configuration
+# Linux/x86 4.14.11-gnu Kernel Configuration
#
CONFIG_64BIT=y
CONFIG_X86_64=y
CONFIG_SECURITY_WRITABLE_HOOKS=y
CONFIG_SECURITYFS=y
CONFIG_SECURITY_NETWORK=y
+CONFIG_PAGE_TABLE_ISOLATION=y
CONFIG_SECURITY_INFINIBAND=y
CONFIG_SECURITY_NETWORK_XFRM=y
CONFIG_SECURITY_PATH=y