Paul Menzel (paulepanter@users.sourceforge.net) just uploaded a new patch set to gerrit, which you can find at http://review.coreboot.org/3157
-gerrit
commit dd5ff365e3607e60d7b260730c1705acc19d8c8c Author: Ronald G. Minnich rminnich@gmail.com Date: Tue Apr 30 08:38:16 2013 -0700
CPU: Define a config variable for 64-bit address capability
For the most part, we don't need 64-bit addressing. In the future, it will be more important, but it's useful to have an indicator that a CPU can even run in that mode.
Change-Id: I59e4061e07c16c5def7d9950749a55083612f6af Signed-off-by: Ronald G. Minnich rminnich@gmail.com --- src/cpu/Kconfig | 11 +++++++++++ 1 file changed, 11 insertions(+)
diff --git a/src/cpu/Kconfig b/src/cpu/Kconfig index ed7d6ab..2edca98 100644 --- a/src/cpu/Kconfig +++ b/src/cpu/Kconfig @@ -1,6 +1,17 @@ # Warning: This file is included whether or not the if is here. # The if controls how the evaluation occurs. # (See also src/Kconfig) + +config HAVE_64BIT + bool + default n + help + Many of the CPUs in our tree can support 64-bit addresses. + Currently, we don't use this capability on any of them. + This variable indicates whether it is even possible, + for a given CPU, to run in 64-bit mode. For the subset of + CPUs which can support 64-bit mode it can be overridden. + if ARCH_ARMV7
source src/cpu/armltd/Kconfig