[linux] 01/04: Clean up kconfig using kconfigeditor2

[debian-kernel at lists.debian.org]

This is an automated email from the git hooks/post-receive script.

benh pushed a commit to branch master
in repository linux.

commit d77be8b78996b0836b52fee188d88aea16f33eba
Author: Ben Hutchings <ben at decadent.org.uk>
Date:   Wed Oct 5 21:12:49 2016 +0100

    Clean up kconfig using kconfigeditor2
---
 debian/config/arm64/config | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/debian/config/arm64/config b/debian/config/arm64/config
index 09f01e6..44941c8 100644
--- a/debian/config/arm64/config
+++ b/debian/config/arm64/config
@@ -3,9 +3,11 @@
 ##
 CONFIG_PCI=y
 CONFIG_ARM64_ERRATUM_834220=y
-CONFIG_ARM64_VA_BITS_48=y
 #. Until we decide how/whether to handle this in userland as well
 # CONFIG_ARM64_ERRATUM_843419 is not set
+## choice: Virtual address space size
+CONFIG_ARM64_VA_BITS_48=y
+## end choice
 CONFIG_SCHED_MC=y
 CONFIG_SECCOMP=y
 CONFIG_XEN=y

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/kernel/linux.git