xref: /rk3399_rockchip-uboot/board/efi/efi-x86/Kconfig (revision 1a2728ae4faf12874173de156b8a7e66cfbbeae5) 
1*3e9aa320SBen Stoltzif TARGET_EFI
2*3e9aa320SBen Stoltz
3*3e9aa320SBen Stoltzconfig SYS_BOARD
4*3e9aa320SBen Stoltz	default "efi-x86"
5*3e9aa320SBen Stoltz
6*3e9aa320SBen Stoltzconfig SYS_VENDOR
7*3e9aa320SBen Stoltz	default "efi"
8*3e9aa320SBen Stoltz
9*3e9aa320SBen Stoltzconfig SYS_SOC
10*3e9aa320SBen Stoltz	default "efi"
11*3e9aa320SBen Stoltz
12*3e9aa320SBen Stoltzconfig SYS_CONFIG_NAME
13*3e9aa320SBen Stoltz	default "efi-x86"
14*3e9aa320SBen Stoltz
15*3e9aa320SBen Stoltzendif
16