configs/efi-x86_defconfig

   1 CONFIG_X86=y
   2 CONFIG_VENDOR_EFI=y
   3 CONFIG_DEFAULT_DEVICE_TREE="efi"
   4 CONFIG_TARGET_EFI=y
   5 CONFIG_TSC_CALIBRATION_BYPASS=y
   6 # CONFIG_CMD_BOOTM is not set
   7 # CONFIG_CMD_NET is not set
   8 CONFIG_OF_CONTROL=y
   9 CONFIG_OF_EMBED=y
  10 CONFIG_DM_PCI=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_X86_SERIAL is not set
  16 CONFIG_EFI=y