| ## SPDX-License-Identifier: GPL-2.0-only |
| |
| config UDK_BASE |
| def_bool n |
| |
| config UEFI_2_4_BINDING |
| def_bool n |
| select UDK_BASE |
| |
| config UDK_2017_BINDING |
| def_bool n |
| select UDK_BASE |
| |
| config UDK_202005_BINDING |
| def_bool n |
| select UDK_BASE |
| |
| config UDK_202302_BINDING |
| def_bool n |
| select UDK_BASE |
| |
| if UDK_BASE |
| config UDK_2013_VERSION |
| int |
| default 2013 |
| |
| config UDK_2017_VERSION |
| int |
| default 2017 |
| |
| config UDK_202005_VERSION |
| int |
| default 202005 |
| |
| config UDK_202302_VERSION |
| int |
| default 202302 |
| |
| config UDK_VERSION |
| int |
| default 202302 if UDK_202302_BINDING |
| default 202005 if UDK_202005_BINDING |
| default 2017 if UDK_2017_BINDING |
| default 2013 |
| help |
| UEFI Development Kit version for Platform |
| endif # UDK_BASE |