diff options
Diffstat (limited to 'main/linux-vanilla/config-vanilla.armhf')
| -rw-r--r-- | main/linux-vanilla/config-vanilla.armhf | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/main/linux-vanilla/config-vanilla.armhf b/main/linux-vanilla/config-vanilla.armhf index 3f84285fda..08ad78f912 100644 --- a/main/linux-vanilla/config-vanilla.armhf +++ b/main/linux-vanilla/config-vanilla.armhf @@ -5568,6 +5568,7 @@ CONFIG_ENCRYPTED_KEYS=m CONFIG_KEY_DH_OPERATIONS=y # CONFIG_SECURITY_DMESG_RESTRICT is not set CONFIG_SECURITY=y +CONFIG_PAGE_TABLE_ISOLATION=n CONFIG_SECURITYFS=y # CONFIG_SECURITY_NETWORK is not set # CONFIG_SECURITY_PATH is not set |