|
@@ -36,6 +36,7 @@ CONFIG_ARM64_PAGE_SHIFT=12
|
|
|
# CONFIG_ARM64_PTDUMP_CORE is not set
|
|
# CONFIG_ARM64_PTDUMP_CORE is not set
|
|
|
# CONFIG_ARM64_PTDUMP_DEBUGFS is not set
|
|
# CONFIG_ARM64_PTDUMP_DEBUGFS is not set
|
|
|
# CONFIG_ARM64_RANDOMIZE_TEXT_OFFSET is not set
|
|
# CONFIG_ARM64_RANDOMIZE_TEXT_OFFSET is not set
|
|
|
|
|
+CONFIG_ARM64_SSBD=y
|
|
|
# CONFIG_ARM64_SW_TTBR0_PAN is not set
|
|
# CONFIG_ARM64_SW_TTBR0_PAN is not set
|
|
|
# CONFIG_ARM64_UAO is not set
|
|
# CONFIG_ARM64_UAO is not set
|
|
|
CONFIG_ARM64_VA_BITS=39
|
|
CONFIG_ARM64_VA_BITS=39
|