coreboot-kgpe-d16/src/vendorcode/intel/Kconfig
Jonathan Zhang 6d27778973 vendorcode/intel: Add edk2-stable202005 support
This patch includes (edk2/edk2-stable202005) all required headers
for edk2-stable202005 quarterly EDK2 tag from EDK2 github project
using below command:
>> git clone https://github.com/tianocore/edk2.git vedk2-stable202005

Only include necessary header files.

MdePkg/Include/Base.h was updated to avoid compilation errors through
safeguarding definitions for MIN, MAX, NULL, ABS, ARRAY_SIZE.

Signed-off-by: Jonathan Zhang <jonzhang@fb.com>
Change-Id: I3172505d9b829647ee1208c87623172f10b39310
Reviewed-on: https://review.coreboot.org/c/coreboot/+/42239
Reviewed-by: Angel Pons <th3fanbus@gmail.com>
Reviewed-by: Subrata Banik <subrata.banik@intel.com>
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
2020-06-25 11:57:06 +00:00

40 lines
726 B
Text

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