xref: /rk3399_rockchip-uboot/configs/efi-x86_defconfig (revision 7d9cde1031040a4931d6e12da7d9767b7e1d85d4)
1CONFIG_X86=y
2CONFIG_VENDOR_EFI=y
3CONFIG_DEFAULT_DEVICE_TREE="efi"
4CONFIG_TARGET_EFI=y
5CONFIG_TSC_CALIBRATION_BYPASS=y
6# CONFIG_CMD_BOOTM is not set
7CONFIG_CMD_GPIO=y
8# CONFIG_CMD_NET is not set
9CONFIG_OF_CONTROL=y
10CONFIG_OF_EMBED=y
11CONFIG_DM_PCI=y
12CONFIG_DEBUG_UART=y
13CONFIG_DEBUG_EFI_CONSOLE=y
14CONFIG_DEBUG_UART_BASE=0
15CONFIG_DEBUG_UART_CLOCK=0
16CONFIG_EFI=y
17