1
# $Id: PlatformPei.inf $
7
# Copyright (C) 2012 Oracle Corporation
9
# This file is part of VirtualBox Open Source Edition (OSE), as
10
# available from http://www.virtualbox.org. This file is free software;
11
# you can redistribute it and/or modify it under the terms of the GNU
12
# General Public License (GPL) as published by the Free Software
13
# Foundation, in version 2 as it comes in the "COPYING" file of the
14
# VirtualBox OSE distribution. VirtualBox OSE is distributed in the
15
# hope that it will be useful, but WITHOUT ANY WARRANTY of any kind.
21
# This module provides platform specific function to detect boot mode.
22
# Copyright (c) 2006 - 2011, Intel Corporation. All rights reserved.<BR>
24
# This program and the accompanying materials
25
# are licensed and made available under the terms and conditions of the BSD License
26
# which accompanies this distribution. The full text of the license may be found at
27
# http://opensource.org/licenses/bsd-license.php
29
# THE PROGRAM IS DISTRIBUTED UNDER THE BSD LICENSE ON AN "AS IS" BASIS,
30
# WITHOUT WARRANTIES OR REPRESENTATIONS OF ANY KIND, EITHER EXPRESS OR IMPLIED.
35
INF_VERSION = 0x00010005
36
BASE_NAME = PlatformPei
37
FILE_GUID = B9EF8D3D-D70D-4ACB-B750-024EC801BDE3
40
ENTRY_POINT = InitializePlatform
43
# The following information is for reference only and not required by the build tools.
45
# VALID_ARCHITECTURES = IA32 X64 IPF EBC
56
MdeModulePkg/MdeModulePkg.dec
57
UefiCpuPkg/UefiCpuPkg.dec
61
gEfiMemoryTypeInformationGuid
69
PeiResourcePublicationLib
71
PeiServicesTablePointerLib
76
gUefiOvmfPkgTokenSpaceGuid.PcdOvmfMemFvBase
77
gUefiOvmfPkgTokenSpaceGuid.PcdOvmfMemFvSize
78
gEfiMdeModulePkgTokenSpaceGuid.PcdVariableStoreSize
79
gEfiMdeModulePkgTokenSpaceGuid.PcdFlashNvStorageFtwSpareSize
80
gEfiMdeModulePkgTokenSpaceGuid.PcdFlashNvStorageVariableSize
81
gEfiMdeModulePkgTokenSpaceGuid.PcdEmuVariableNvStoreReserved
84
gEfiPeiMasterBootModePpiGuid