Update kernel configs for 4.14.11

[kernel-configs.git] / 4.14 / x86-64

diff --git a/4.14/x86-64 b/4.14/x86-64
index bdacdc2c77853800824cdd78057cedf10604481a..976c65dc9eb655152e0fa942f972c27f9a311197 100644 (file)
--- a/4.14/x86-64
+++ b/4.14/x86-64
@@ -1,6 +1,6 @@
 #
 # 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
@@ -9097,6 +9097,7 @@ CONFIG_SECURITY=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