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