1 if TARGET_EFI_PAYLOAD 2 3 config SYS_BOARD 4 default "efi-x86_payload" 5 6 config SYS_VENDOR 7 default "efi" 8 9 config SYS_SOC 10 default "efi" 11 12 config SYS_CONFIG_NAME 13 default "efi-x86_payload" 14 15 config SYS_TEXT_BASE 16 default 0x00200000 17 18 config BOARD_SPECIFIC_OPTIONS # dummy 19 def_bool y 20 select BOARD_EARLY_INIT_R 21 imply SYS_NS16550 22 imply SCSI 23 imply SCSI_AHCI 24 imply AHCI_PCI 25 imply MMC 26 imply MMC_PCI 27 imply MMC_SDHCI 28 imply MMC_SDHCI_SDMA 29 imply USB 30 imply USB_EHCI_HCD 31 imply USB_XHCI_HCD 32 imply USB_STORAGE 33 imply USB_KEYBOARD 34 imply VIDEO_EFI 35 imply E1000 36 imply ETH_DESIGNWARE 37 imply PCH_GBE 38 imply RTL8169 39 40 endif 41
