xref: /rk3399_rockchip-uboot/board/efi/efi-x86/Kconfig (revision 7b2edb8b9dd9e9b792f1b2b5c5db4ce57fb1c6f0) 
1if TARGET_EFI
2
3config SYS_BOARD
4	default "efi-x86"
5
6config SYS_VENDOR
7	default "efi"
8
9config SYS_SOC
10	default "efi"
11
12config SYS_CONFIG_NAME
13	default "efi-x86"
14
15endif
16