Patch set updated for coreboot: 802742b X86: add the Kconfig option for 64-bit builds

[Ronald G. Minnich]

Ronald G. Minnich ([e-mail]) just uploaded a new patch set to gerrit, which you can find at http://review.coreboot.org/3146

-gerrit

commit 802742b5ec0dd1ebd8120fe7ed2b36c0808378c9
Author: Ronald G. Minnich <[e-mail]>
Date:   Mon Apr 29 05:34:40 2013 +0200

    X86: add the Kconfig option for 64-bit builds
    
    Big memory machines -- with more memory than can be addressed with PAE --
    are on their way. I had them many years ago. Time to start thinking
    about 64-bit coreboot. Creating the option is the first step.
    
    In a perfect world, we fix the early .S bits and have the right compiler
    and it all Just Works.
    
    Dream On. But on the NIX OS we found we shared over 95% of the code and
    the change was not hard, even when NIX was the first real 64-bit
    port of Plan 9. We hit a surprisingly small number of bugs.
    
    This is now an EXPERT option.
    
    To avoid dumping a giant patch set, which people do tend to not like, I'm doing
    this in an incremental way that breaks nothing.
    
    Change-Id: I02792ac94328a732f56073848975d2170d79cfd5
    Signed-off-by: Ronald G. Minnich <[e-mail]>
---
 src/arch/x86/Kconfig | 13 +++++++++++++
 1 file changed, 13 insertions(+)

diff --git a/src/arch/x86/Kconfig b/src/arch/x86/Kconfig
index 5f46145..34768b6 100644
--- a/src/arch/x86/Kconfig
+++ b/src/arch/x86/Kconfig
@@ -122,4 +122,17 @@ config ID_SECTION_OFFSET
 	hex
 	default 0x80
 
+config X86_64
+	bool "Build for an x86_64 platform"
+	depends on EXPERT
+	default n
+	help
+	  Build coreboot for 64-bit x86, not 32-bit. Pretty much
+	  all the source should be the same. This will affect early
+	  startup as we switch into long mode. On Intel platforms,
+	  which have a binary blob, this will make calls into the
+	  blob harder. On AMD platforms, and open Intel platforms,
+	  this should Just Work. Though at present, this option
+	  has no effect.
+
 endmenu