##
## file: arch/arm64/Kconfig
##
## choice: Page size
# CONFIG_ARM64_4K_PAGES is not set
CONFIG_ARM64_16K_PAGES=y
## end choice