diff options
Diffstat (limited to 'main/linux-vanilla/config-vanilla.ppc')
-rw-r--r-- | main/linux-vanilla/config-vanilla.ppc | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/main/linux-vanilla/config-vanilla.ppc b/main/linux-vanilla/config-vanilla.ppc index 172a8c1665..43560bd0a8 100644 --- a/main/linux-vanilla/config-vanilla.ppc +++ b/main/linux-vanilla/config-vanilla.ppc @@ -3231,6 +3231,7 @@ CONFIG_KEYS=y # CONFIG_ENCRYPTED_KEYS is not set # 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 |