summaryrefslogtreecommitdiff
path: root/libre/linux-libre/config.armv7h
diff options
context:
space:
mode:
Diffstat (limited to 'libre/linux-libre/config.armv7h')
-rw-r--r--libre/linux-libre/config.armv7h3
1 files changed, 2 insertions, 1 deletions
diff --git a/libre/linux-libre/config.armv7h b/libre/linux-libre/config.armv7h
index 39ed8b475..7c369dcac 100644
--- a/libre/linux-libre/config.armv7h
+++ b/libre/linux-libre/config.armv7h
@@ -1,6 +1,6 @@
#
# Automatically generated file; DO NOT EDIT.
-# Linux/arm 4.14.8-gnu-1 Kernel Configuration
+# Linux/arm 4.14.12-gnu-1 Kernel Configuration
#
CONFIG_ARM=y
CONFIG_ARM_HAS_SG_CHAIN=y
@@ -8433,6 +8433,7 @@ CONFIG_SECURITY=y
# CONFIG_SECURITY_WRITABLE_HOOKS is not set
CONFIG_SECURITYFS=y
CONFIG_SECURITY_NETWORK=y
+CONFIG_PAGE_TABLE_ISOLATION=y
# CONFIG_SECURITY_INFINIBAND is not set
CONFIG_SECURITY_NETWORK_XFRM=y
CONFIG_SECURITY_PATH=y