From aca53a5db6b03b6499a63f5c2d19cf7b9a11fc06 Mon Sep 17 00:00:00 2001 From: David P Date: Sat, 6 Jan 2018 17:21:08 -0300 Subject: updpkg: libre/linux-libre 4.14.12_gnu-1 --- libre/linux-libre/config.x86_64 | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'libre/linux-libre/config.x86_64') diff --git a/libre/linux-libre/config.x86_64 b/libre/linux-libre/config.x86_64 index 8b7751b72..0cdd17a02 100644 --- a/libre/linux-libre/config.x86_64 +++ b/libre/linux-libre/config.x86_64 @@ -1,6 +1,6 @@ # # Automatically generated file; DO NOT EDIT. -# Linux/x86 4.14.4-gnu-1 Kernel Configuration +# Linux/x86 4.14.12-gnu-1 Kernel Configuration # CONFIG_64BIT=y CONFIG_X86_64=y @@ -8073,6 +8073,7 @@ CONFIG_SECURITY=y # CONFIG_SECURITY_WRITABLE_HOOKS is not set CONFIG_SECURITYFS=y # CONFIG_SECURITY_NETWORK is not set +CONFIG_PAGE_TABLE_ISOLATION=y # CONFIG_SECURITY_INFINIBAND is not set # CONFIG_SECURITY_PATH is not set # CONFIG_INTEL_TXT is not set -- cgit v1.2.3