Allow booting 32-bit kernel with 64-bit EFI BIOS
authorBill Richardson <wfrichar@chromium.org>
Mon, 12 Apr 2010 16:35:49 +0000 (09:35 -0700)
committerBill Richardson <wfrichar@chromium.org>
Mon, 12 Apr 2010 16:35:49 +0000 (09:35 -0700)
commita7cfa1075c04df162d58dc2ed93df6045e9c3271
tree6e396480118ac5aee94145254db26bcb6be01f28
parent05029086485506bd45674f86759300b03c7f3726
Allow booting 32-bit kernel with 64-bit EFI BIOS

This adds and enables a Kconfig option (CONFIG_EFI64) which lets 32-bit x86 kernels boot with our 64-bit EFI BIOS. I've tested it on both the EFI BIOS board and the EeePC's legacy BIOS, and the same image works on both.

Review URL: http://codereview.chromium.org/1605022
arch/x86/Kconfig
arch/x86/configs/i386_defconfig
arch/x86/configs/x86_64_defconfig
arch/x86/kernel/efi.c
arch/x86/kernel/setup.c
chromeos/config/i386/config.common.i386
include/linux/efi.h