|
@@ -24,7 +24,6 @@ CONFIG_ARM64_MODULE_PLTS=y
|
|
|
CONFIG_ARM64_PAGE_SHIFT=12
|
|
CONFIG_ARM64_PAGE_SHIFT=12
|
|
|
CONFIG_ARM64_PA_BITS=48
|
|
CONFIG_ARM64_PA_BITS=48
|
|
|
CONFIG_ARM64_PA_BITS_48=y
|
|
CONFIG_ARM64_PA_BITS_48=y
|
|
|
-# CONFIG_ARM64_SW_TTBR0_PAN is not set
|
|
|
|
|
CONFIG_ARM64_TAGGED_ADDR_ABI=y
|
|
CONFIG_ARM64_TAGGED_ADDR_ABI=y
|
|
|
CONFIG_ARM64_VA_BITS=39
|
|
CONFIG_ARM64_VA_BITS=39
|
|
|
CONFIG_ARM64_VA_BITS_39=y
|
|
CONFIG_ARM64_VA_BITS_39=y
|