diff options
Diffstat (limited to 'debian/config/arm64/config-page-16k')
-rw-r--r-- | debian/config/arm64/config-page-16k | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/debian/config/arm64/config-page-16k b/debian/config/arm64/config-page-16k new file mode 100644 index 0000000000..b2a124b05d --- /dev/null +++ b/debian/config/arm64/config-page-16k @@ -0,0 +1,7 @@ +## +## file: arch/arm64/Kconfig +## +## choice: Page size +# CONFIG_ARM64_4K_PAGES is not set +CONFIG_ARM64_16K_PAGES=y +## end choice |