linux4.4: update config, enable CONFIG_PAGE_TABLE_ISOLATION.

This commit is contained in:
Enno Boland 2018-01-05 17:17:50 +01:00
parent 4f9fddb6f9
commit 03f552cc33
No known key found for this signature in database
GPG key ID: D09964719BDE9971

View file

@ -1,6 +1,6 @@
#
# Automatically generated file; DO NOT EDIT.
# Linux/x86_64 4.4.103 Kernel Configuration
# Linux/x86_64 4.4.110 Kernel Configuration
#
CONFIG_64BIT=y
CONFIG_X86_64=y
@ -7313,6 +7313,7 @@ CONFIG_TRUSTED_KEYS=m
CONFIG_ENCRYPTED_KEYS=m
# CONFIG_SECURITY_DMESG_RESTRICT is not set
CONFIG_SECURITY=y
CONFIG_PAGE_TABLE_ISOLATION=y
CONFIG_SECURITYFS=y
# CONFIG_SECURITY_NETWORK is not set
CONFIG_SECURITY_PATH=y