if TARGET_EFI_PAYLOAD config SYS_BOARD default "efi-x86_payload" config SYS_VENDOR default "efi" config SYS_SOC default "efi" config SYS_CONFIG_NAME default "efi-x86_payload" config TEXT_BASE default 0x00200000 config BOARD_SPECIFIC_OPTIONS # dummy def_bool y select BOARD_EARLY_INIT_R imply SYS_NS16550 imply SCSI imply SCSI_AHCI imply AHCI_PCI imply MMC imply MMC_PCI imply MMC_SDHCI imply MMC_SDHCI_SDMA imply USB imply USB_EHCI_HCD imply USB_XHCI_HCD imply USB_STORAGE imply USB_KEYBOARD imply VIDEO_EFI imply E1000 imply ETH_DESIGNWARE imply PCH_GBE imply RTL8169 endif