Ronald G. Minnich (rminnich@gmail.com) just uploaded a new patch set to gerrit, which you can find at http://review.coreboot.org/3146
-gerrit
commit 4c0523939eb989712138c49f87ef1a4f4f48014a Author: Ronald G. Minnich rminnich@gmail.com 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.
Change-Id: I02792ac94328a732f56073848975d2170d79cfd5 Signed-off-by: Ronald G. Minnich rminnich@gmail.com --- src/arch/x86/Kconfig | 12 ++++++++++++ 1 file changed, 12 insertions(+)
diff --git a/src/arch/x86/Kconfig b/src/arch/x86/Kconfig index 5f46145..fff9828 100644 --- a/src/arch/x86/Kconfig +++ b/src/arch/x86/Kconfig @@ -122,4 +122,16 @@ config ID_SECTION_OFFSET hex default 0x80
+config X86_64 + bool "Build for an x86_64 platform" + 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