#
# Automatically generated file; DO NOT EDIT.
-# Linux/x86 4.9.62-gnu Kernel Configuration
+# Linux/x86 4.9.75-gnu Kernel Configuration
#
# CONFIG_64BIT is not set
CONFIG_X86_32=y
#
# Automatically generated file; DO NOT EDIT.
-# Linux/x86 4.9.62-gnu Kernel Configuration
+# Linux/x86 4.9.75-gnu Kernel Configuration
#
# CONFIG_64BIT is not set
CONFIG_X86_32=y
#
# Automatically generated file; DO NOT EDIT.
-# Linux/x86 4.9.62-gnu Kernel Configuration
+# Linux/x86 4.9.75-gnu Kernel Configuration
#
CONFIG_64BIT=y
CONFIG_X86_64=y
CONFIG_COMPAT=y
CONFIG_COMPAT_FOR_U64_ALIGNMENT=y
CONFIG_SYSVIPC_COMPAT=y
-CONFIG_KEYS_COMPAT=y
CONFIG_X86_DEV_DMA_OPS=y
CONFIG_PMC_ATOM=y
CONFIG_NET=y
# Security options
#
CONFIG_KEYS=y
+CONFIG_KEYS_COMPAT=y
CONFIG_PERSISTENT_KEYRINGS=y
CONFIG_BIG_KEYS=y
CONFIG_TRUSTED_KEYS=y
CONFIG_KEY_DH_OPERATIONS=y
# CONFIG_SECURITY_DMESG_RESTRICT is not set
CONFIG_SECURITY=y
+CONFIG_PAGE_TABLE_ISOLATION=y
CONFIG_SECURITYFS=y
CONFIG_SECURITY_NETWORK=y
CONFIG_SECURITY_NETWORK_XFRM=y