| Ben Stoltz | 19c23fd | 2015-08-04 12:33:47 -0600 | [diff] [blame] | 1 | if TARGET_EFI |
| 2 | |||||
| 3 | config SYS_BOARD | ||||
| 4 | default "efi-x86" | ||||
| 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" | ||||
| 14 | |||||
| 15 | endif | ||||