| if TARGET_EFI_PAYLOAD |
| |
| config SYS_BOARD |
| default "efi-x86_payload" |
| |
| config SYS_VENDOR |
| default "efi" |
| |
| config SYS_SOC |
| default "efi" |
| |
| 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 |