4 # Copyright (c) 2006 - 2014, Intel Corporation. All rights reserved.<BR>
6 # SPDX-License-Identifier: BSD-2-Clause-Patent
11 INF_VERSION = 0x00010005
12 BASE_NAME = ResetVector
13 FILE_GUID = 1BA0062E-C779-4582-8566-336AE8F78F09
18 # The following information is for reference only and not required by the build tools.
20 # VALID_ARCHITECTURES = IA32 X64
29 UefiCpuPkg/UefiCpuPkg.dec
32 *_*_IA32_NASMB_FLAGS = -I$(WORKSPACE)/UefiCpuPkg/ResetVector/Vtf0/
33 *_*_X64_NASMB_FLAGS = -I$(WORKSPACE)/UefiCpuPkg/ResetVector/Vtf0/
36 gUefiOvmfPkgTokenSpaceGuid.PcdOvmfSecPageTablesBase
37 gUefiOvmfPkgTokenSpaceGuid.PcdOvmfSecPageTablesSize