| ## |
| ## |
| ## |
| ## SPDX-License-Identifier: GPL-2.0-only |
| |
| config UEFI_2_4_BINDING |
| def_bool n |
| |
| config UDK_2015_BINDING |
| def_bool n |
| |
| config UDK_2017_BINDING |
| def_bool n |
| |
| if (UEFI_2_4_BINDING || UDK_2015_BINDING || UDK_2017_BINDING) |
| config UDK_2013_VERSION |
| int |
| default 2013 |
| |
| config UDK_2015_VERSION |
| int |
| default 2015 |
| |
| config UDK_2017_VERSION |
| int |
| default 2017 |
| |
| config UDK_VERSION |
| int |
| default UDK_2017_VERSION if UDK_2017_BINDING |
| default UDK_2015_VERSION if UDK_2015_BINDING |
| default UDK_2013_VERSION |
| help |
| UEFI Development Kit version for Platform |
| endif # {UEFI,UDK}_BINDING |