4 # Copyright (c) 2006 - 2014, Intel Corporation. All rights reserved.<BR>
5 # Copyright (c) 2019, Citrix Systems, Inc.
7 # SPDX-License-Identifier: BSD-2-Clause-Patent
12 INF_VERSION = 0x00010005
13 BASE_NAME = XenResetVector
14 FILE_GUID = 1BA0062E-C779-4582-8566-336AE8F78F09
19 # The following information is for reference only and not required by the build tools.
21 # VALID_ARCHITECTURES = IA32 X64
30 UefiCpuPkg/UefiCpuPkg.dec
33 *_*_IA32_NASMB_FLAGS = -I$(WORKSPACE)/UefiCpuPkg/ResetVector/Vtf0/
34 *_*_X64_NASMB_FLAGS = -I$(WORKSPACE)/UefiCpuPkg/ResetVector/Vtf0/
37 gUefiOvmfPkgTokenSpaceGuid.PcdOvmfSecPageTablesBase
38 gUefiOvmfPkgTokenSpaceGuid.PcdOvmfSecPageTablesSize
40 gUefiOvmfPkgTokenSpaceGuid.PcdXenPvhStartOfDayStructPtr
41 gUefiOvmfPkgTokenSpaceGuid.PcdXenPvhStartOfDayStructPtrSize