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