configs/efi-x86_defconfig

   1 CONFIG_X86=y
   2 CONFIG_VENDOR_EFI=y
   3 CONFIG_TARGET_EFI=y
   4 CONFIG_TSC_CALIBRATION_BYPASS=y
   5 CONFIG_OF_CONTROL=y
   6 CONFIG_OF_EMBED=y
   7 CONFIG_DM_PCI=y
   8 CONFIG_DEFAULT_DEVICE_TREE="efi"
   9 CONFIG_EFI=y
  10 CONFIG_EFI_APP=y
  11 CONFIG_DEBUG_UART=y
  12 CONFIG_DEBUG_EFI_CONSOLE=y
  13 CONFIG_DEBUG_UART_BASE=0
  14 CONFIG_DEBUG_UART_CLOCK=0
  15 # CONFIG_CMD_NET is not set
  16 # CONFIG_CMD_BOOTM is not set