2015-08-05 03:33:50 +09:00
|
|
|
CONFIG_X86=y
|
|
|
|
CONFIG_VENDOR_EFI=y
|
2015-08-10 22:05:05 +09:00
|
|
|
CONFIG_DEFAULT_DEVICE_TREE="efi"
|
2015-08-05 03:33:50 +09:00
|
|
|
CONFIG_TARGET_EFI=y
|
2015-08-10 22:05:05 +09:00
|
|
|
# CONFIG_CMD_BOOTM is not set
|
2015-11-11 22:39:33 +09:00
|
|
|
CONFIG_CMD_GPIO=y
|
2015-08-10 22:05:05 +09:00
|
|
|
# CONFIG_CMD_NET is not set
|
2015-08-05 03:33:50 +09: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 22:34:53 +09:00
|
|
|
CONFIG_ICH_SPI=y
|
2015-11-13 17:11:22 +09:00
|
|
|
# CONFIG_X86_SERIAL is not set
|
|
|
|
CONFIG_TIMER=y
|
2015-08-10 22:05:05 +09:00
|
|
|
CONFIG_EFI=y
|