Ronald G. Minnich (rminnich@gmail.com) just uploaded a new patch set to gerrit, which you can find at http://review.coreboot.org/3157
-gerrit
commit 14f905dbef8910bd48d5598d85ab4f9de9e6d710 Author: Ronald G. Minnich rminnich@gmail.com Date: Tue Apr 30 08:38:16 2013 -0700
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..5d348a3 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