| 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 |
| 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 |
| Simon Glass | 87d7bf1 | 2015-08-10 07:05:05 -0600 | [diff] [blame] | 15 | # CONFIG_X86_SERIAL is not set |
| 16 | CONFIG_EFI=y |