From c9c130e0bfea876fd7000c60808f806ca58f6b66 Mon Sep 17 00:00:00 2001 From: MilhouseVH Date: Wed, 17 Jan 2018 02:03:18 +0000 Subject: [PATCH] config: update options for linux-4.14.12 --- projects/Generic/linux/linux.x86_64.conf | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/projects/Generic/linux/linux.x86_64.conf b/projects/Generic/linux/linux.x86_64.conf index c210fad0ae..3a14795e2e 100644 --- a/projects/Generic/linux/linux.x86_64.conf +++ b/projects/Generic/linux/linux.x86_64.conf @@ -1,6 +1,6 @@ # # Automatically generated file; DO NOT EDIT. -# Linux/x86_64 4.14.9 Kernel Configuration +# Linux/x86_64 4.14.12 Kernel Configuration # CONFIG_64BIT=y CONFIG_X86_64=y @@ -5217,6 +5217,7 @@ CONFIG_KEYS_COMPAT=y # CONFIG_SECURITY_DMESG_RESTRICT is not set # CONFIG_SECURITY is not set # CONFIG_SECURITYFS is not set +CONFIG_PAGE_TABLE_ISOLATION=y CONFIG_HAVE_HARDENED_USERCOPY_ALLOCATOR=y # CONFIG_HARDENED_USERCOPY is not set # CONFIG_FORTIFY_SOURCE is not set