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	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
40endif
41