diff options
Diffstat (limited to 'libre/linux-libre/config.x86_64')
-rw-r--r-- | libre/linux-libre/config.x86_64 | 3 |
1 files changed, 2 insertions, 1 deletions
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 |