## 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

config UDK_202005_BINDING
	def_bool n

if (UEFI_2_4_BINDING || UDK_2015_BINDING || UDK_2017_BINDING || UDK_202005_BINDING)
config UDK_2013_VERSION
	int
	default 2013

config UDK_2015_VERSION
	int
	default 2015

config UDK_2017_VERSION
	int
	default 2017

config UDK_202005_VERSION
	int
	default 202005

config UDK_VERSION
	int
	default UDK_202005_VERSION if UDK_202005_BINDING
	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