diff options
Diffstat (limited to 'libre/linux-libre/config.x86_64')
-rw-r--r-- | libre/linux-libre/config.x86_64 | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/libre/linux-libre/config.x86_64 b/libre/linux-libre/config.x86_64 index 82f6d4ed0..6652ad507 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.16.6-gnu-1 Kernel Configuration +# Linux/x86 4.16.8-gnu-1 Kernel Configuration # CONFIG_64BIT=y CONFIG_X86_64=y @@ -661,7 +661,7 @@ CONFIG_ARCH_USES_PG_UNCACHED=y CONFIG_ARCH_RANDOM=y CONFIG_X86_SMAP=y CONFIG_X86_INTEL_UMIP=y -CONFIG_X86_INTEL_MPX=y +# CONFIG_X86_INTEL_MPX is not set CONFIG_X86_INTEL_MEMORY_PROTECTION_KEYS=y CONFIG_EFI=y CONFIG_EFI_STUB=y |