# - 2008-2011 Various authors (see AUTHORS)
# Distributed under the GPL v2
# $Id$
+
+ 17 Jul 2012; Robin H. Johnson <robbat2@gentoo.org> arch/x86_64/kernel-config:
+ Bug #399703: amd64 default kernel config did not have EFI support.
15 July 2012; Robin H. Johnson <robbat2@gentoo.org> doc/genkernel.8.txt,
Document the isoboot option, as designed for GRUB2 usage 3 years ago.
CONFIG_MTRR_SANITIZER_SPARE_REG_NR_DEFAULT=1
CONFIG_X86_PAT=y
CONFIG_ARCH_USES_PG_UNCACHED=y
-# CONFIG_EFI is not set
+CONFIG_EFI=y
CONFIG_SECCOMP=y
# CONFIG_CC_STACKPROTECTOR is not set
CONFIG_HZ_100=y
# CONFIG_FB_IMSTT is not set
# CONFIG_FB_VGA16 is not set
CONFIG_FB_VESA=y
+CONFIG_FB_EFI=y
# CONFIG_FB_N411 is not set
# CONFIG_FB_HGA is not set
# CONFIG_FB_S1D13XXX is not set
#
# CONFIG_EDD is not set
CONFIG_FIRMWARE_MEMMAP=y
+CONFIG_EFI_VARS=m
CONFIG_DELL_RBU=m
CONFIG_DCDBAS=m
CONFIG_DMIID=y