diff options
Diffstat (limited to 'config')
-rw-r--r-- | config | 6 |
1 files changed, 4 insertions, 2 deletions
@@ -1,6 +1,6 @@ # # Automatically generated file; DO NOT EDIT. -# Linux/x86 4.16.5-1 Kernel Configuration +# Linux/x86 4.16.8-1 Kernel Configuration # CONFIG_64BIT=y CONFIG_X86_64=y @@ -518,6 +518,8 @@ CONFIG_NO_BOOTMEM=y # CONFIG_MBROADWELL is not set # CONFIG_MSKYLAKE is not set # CONFIG_MSKYLAKEX is not set +# CONFIG_MCANNONLAKE is not set +# CONFIG_MICELAKE is not set CONFIG_GENERIC_CPU=y # CONFIG_MNATIVE is not set CONFIG_X86_INTERNODE_CACHE_SHIFT=6 @@ -683,7 +685,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 |