| 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 |
| 5 | CONFIG_TSC_CALIBRATION_BYPASS=y |
| Simon Glass | 87d7bf1 | 2015-08-10 07:05:05 -0600 | [diff] [blame] | 6 | # CONFIG_CMD_BOOTM is not set |
| Thomas Chou | 3a077cd | 2015-11-11 21:39:33 +0800 | [diff] [blame] | 7 | CONFIG_CMD_GPIO=y |
| Simon Glass | 87d7bf1 | 2015-08-10 07:05:05 -0600 | [diff] [blame] | 8 | # CONFIG_CMD_NET is not set |
| Ben Stoltz | b7d47db | 2015-08-04 12:33:50 -0600 | [diff] [blame] | 9 | CONFIG_OF_CONTROL=y |
| 10 | CONFIG_OF_EMBED=y |
| 11 | CONFIG_DM_PCI=y |
| Ben Stoltz | b7d47db | 2015-08-04 12:33:50 -0600 | [diff] [blame] | 12 | CONFIG_DEBUG_UART=y |
| 13 | CONFIG_DEBUG_EFI_CONSOLE=y |
| 14 | CONFIG_DEBUG_UART_BASE=0 |
| 15 | CONFIG_DEBUG_UART_CLOCK=0 |
| Simon Glass | 87d7bf1 | 2015-08-10 07:05:05 -0600 | [diff] [blame] | 16 | # CONFIG_X86_SERIAL is not set |
| 17 | CONFIG_EFI=y |