#/** @file | |
# SEC Driver | |
# | |
# Copyright (c) 2008, Intel Corporation | |
# | |
# All rights reserved. This program and the accompanying materials | |
# are licensed and made available under the terms and conditions of the BSD License | |
# which accompanies this distribution. The full text of the license may be found at | |
# http://opensource.org/licenses/bsd-license.php | |
# | |
# THE PROGRAM IS DISTRIBUTED UNDER THE BSD LICENSE ON AN "AS IS" BASIS, | |
# WITHOUT WARRANTIES OR REPRESENTATIONS OF ANY KIND, EITHER EXPRESS OR IMPLIED. | |
# | |
#**/ | |
[Defines] | |
INF_VERSION = 0x00010005 | |
BASE_NAME = SecMain | |
FILE_GUID = df1ccef6-f301-4a63-9661-fc6030dcc880 | |
MODULE_TYPE = SEC | |
VERSION_STRING = 1.0 | |
EDK_RELEASE_VERSION = 0x00020000 | |
EFI_SPECIFICATION_VERSION = 0x00020000 | |
ENTRY_POINT = SecMain | |
# | |
# The following information is for reference only and not required by the build tools. | |
# | |
# VALID_ARCHITECTURES = IA32 X64 IPF EBC | |
# | |
[Sources.common] | |
SecMain.c | |
[Sources.IA32] | |
Ia32/SecEntry.asm | |
Ia32/SecEntry.S | |
Ia32/SwitchStack.c | |
[Sources.X64] | |
X64/SecEntry.asm | |
X64/SecEntry.S | |
X64/SwitchStack.c | |
[Packages] | |
MdePkg/MdePkg.dec | |
UefiCpuPkg/UefiCpuPkg.dec | |
OvmfPkg/OvmfPkg.dec | |
[LibraryClasses] | |
BaseLib | |
UefiCpuLib | |
PcdLib | |
[Ppis] | |
gEfiTemporaryRamSupportPpiGuid # PPI ALWAYS_PRODUCED | |
[FixedPcd.common] | |
gUefiOvmfPkgTokenSpaceGuid.PcdOvmfFlashFvRecoveryBase | |
gUefiOvmfPkgTokenSpaceGuid.PcdOvmfFlashFvRecoverySize | |