ANDROID: configs: CONFIG_ARM64_SW_TTBR0_PAN=y

Bug: 31432001
Change-Id: Ia72c3aa70a463d3a7f52b76e5082520aa328d29b
Signed-off-by: Sami Tolvanen <samitolvanen@google.com>

diff --git a/android/configs/android-recommended.cfg b/android/configs/android-recommended.cfg
index 3fd0b13488a1cbf9325cf9b4c912e6e97eac1c74..70aaae17ad29035323edcc34ae609b1c723e8369 100644 (file)
--- a/android/configs/android-recommended.cfg
+++ b/android/configs/android-recommended.cfg
@@ -8,6 +8,7 @@
 # CONFIG_VT is not set
 CONFIG_ANDROID_TIMED_GPIO=y
 CONFIG_ARM_KERNMEM_PERMS=y
+CONFIG_ARM64_SW_TTBR0_PAN=y
 CONFIG_BACKLIGHT_LCD_SUPPORT=y
 CONFIG_BLK_DEV_LOOP=y
 CONFIG_BLK_DEV_RAM=y