2015-08-05 02:33:50 +08:00
|
|
|
CONFIG_X86=y
|
|
|
|
CONFIG_VENDOR_EFI=y
|
2015-08-10 21:05:05 +08:00
|
|
|
CONFIG_DEFAULT_DEVICE_TREE="efi"
|
2015-08-05 02:33:50 +08:00
|
|
|
CONFIG_TARGET_EFI=y
|
2016-02-23 13:55:43 +08:00
|
|
|
CONFIG_FIT=y
|
2016-10-18 10:12:37 +08:00
|
|
|
CONFIG_CONSOLE_MUX=y
|
2016-10-18 10:13:00 +08:00
|
|
|
CONFIG_SYS_CONSOLE_INFO_QUIET=y
|
2017-01-24 04:31:19 +08:00
|
|
|
# CONFIG_ARCH_EARLY_INIT_R is not set
|
2016-04-22 09:37:19 +08:00
|
|
|
CONFIG_HUSH_PARSER=y
|
2015-08-10 21:05:05 +08:00
|
|
|
# CONFIG_CMD_BOOTM is not set
|
2016-02-02 21:58:03 +08:00
|
|
|
# CONFIG_CMD_IMLS is not set
|
2016-04-23 04:41:25 +08:00
|
|
|
CONFIG_CMD_SF=y
|
|
|
|
CONFIG_CMD_SPI=y
|
|
|
|
CONFIG_CMD_USB=y
|
2015-11-11 21:39:33 +08:00
|
|
|
CONFIG_CMD_GPIO=y
|
2015-08-10 21:05:05 +08:00
|
|
|
# CONFIG_CMD_NET is not set
|
2016-04-23 04:41:25 +08:00
|
|
|
CONFIG_CMD_DHCP=y
|
|
|
|
CONFIG_CMD_PING=y
|
|
|
|
CONFIG_CMD_TIME=y
|
2016-04-25 05:29:26 +08:00
|
|
|
CONFIG_CMD_EXT2=y
|
|
|
|
CONFIG_CMD_EXT4=y
|
|
|
|
CONFIG_CMD_EXT4_WRITE=y
|
|
|
|
CONFIG_CMD_FAT=y
|
|
|
|
CONFIG_CMD_FS_GENERIC=y
|
2015-08-05 02:33:50 +08:00
|
|
|
CONFIG_OF_CONTROL=y
|
|
|
|
CONFIG_OF_EMBED=y
|
|
|
|
CONFIG_DM_PCI=y
|
|
|
|
CONFIG_DEBUG_UART=y
|
|
|
|
CONFIG_DEBUG_EFI_CONSOLE=y
|
|
|
|
CONFIG_DEBUG_UART_BASE=0
|
|
|
|
CONFIG_DEBUG_UART_CLOCK=0
|
2015-11-25 21:34:53 +08:00
|
|
|
CONFIG_ICH_SPI=y
|
2015-11-13 16:11:22 +08:00
|
|
|
CONFIG_TIMER=y
|
2016-09-09 04:31:26 +08:00
|
|
|
CONFIG_USB=y
|
|
|
|
CONFIG_USB_STORAGE=y
|
2016-10-18 10:13:01 +08:00
|
|
|
CONFIG_USB_KEYBOARD=y
|
2015-08-10 21:05:05 +08:00
|
|
|
CONFIG_EFI=y
|
2016-11-07 23:47:16 +08:00
|
|
|
# CONFIG_EFI_LOADER is not set
|