| Ben Stoltz | b7d47db | 2015-08-04 12:33:50 -0600 | [diff] [blame] | 1 | CONFIG_X86=y |
| 2 | CONFIG_VENDOR_EFI=y |
| Simon Glass | 87d7bf1 | 2015-08-10 07:05:05 -0600 | [diff] [blame] | 3 | CONFIG_DEFAULT_DEVICE_TREE="efi" |
| Ben Stoltz | b7d47db | 2015-08-04 12:33:50 -0600 | [diff] [blame] | 4 | CONFIG_TARGET_EFI=y |
| Simon Glass | 87d7bf1 | 2015-08-10 07:05:05 -0600 | [diff] [blame] | 5 | # CONFIG_CMD_BOOTM is not set |
| Thomas Chou | 3a077cd | 2015-11-11 21:39:33 +0800 | [diff] [blame] | 6 | CONFIG_CMD_GPIO=y |
| Simon Glass | 87d7bf1 | 2015-08-10 07:05:05 -0600 | [diff] [blame] | 7 | # CONFIG_CMD_NET is not set |
| Ben Stoltz | b7d47db | 2015-08-04 12:33:50 -0600 | [diff] [blame] | 8 | CONFIG_OF_CONTROL=y |
| 9 | CONFIG_OF_EMBED=y |
| 10 | CONFIG_DM_PCI=y |
| Ben Stoltz | b7d47db | 2015-08-04 12:33:50 -0600 | [diff] [blame] | 11 | CONFIG_DEBUG_UART=y |
| 12 | CONFIG_DEBUG_EFI_CONSOLE=y |
| 13 | CONFIG_DEBUG_UART_BASE=0 |
| 14 | CONFIG_DEBUG_UART_CLOCK=0 |
| Bin Meng | 72a049d | 2015-11-25 05:34:53 -0800 | [diff] [blame] | 15 | CONFIG_ICH_SPI=y |
| Bin Meng | 38de020 | 2015-11-13 00:11:22 -0800 | [diff] [blame] | 16 | # CONFIG_X86_SERIAL is not set |
| 17 | CONFIG_TIMER=y |
| Simon Glass | 87d7bf1 | 2015-08-10 07:05:05 -0600 | [diff] [blame] | 18 | CONFIG_EFI=y |