2 # This driver effectuates OVMF's platform configuration settings and exposes
5 # Copyright (C) 2014, Red Hat, Inc.
6 # Copyright (c) 2009 - 2010, Intel Corporation. All rights reserved.<BR>
8 # SPDX-License-Identifier: BSD-2-Clause-Patent
12 INF_VERSION = 0x00010005
13 BASE_NAME = PlatformDxe
14 FILE_GUID = D9DCC5DF-4007-435E-9098-8970935504B2
15 MODULE_TYPE = DXE_DRIVER
17 ENTRY_POINT = PlatformInit
18 UNLOAD_IMAGE = PlatformUnload
30 MdeModulePkg/MdeModulePkg.dec
41 UefiBootServicesTableLib
44 UefiRuntimeServicesTableLib
48 gEfiMdeModulePkgTokenSpaceGuid.PcdVideoHorizontalResolution
49 gEfiMdeModulePkgTokenSpaceGuid.PcdVideoVerticalResolution
50 gUefiOvmfPkgTokenSpaceGuid.PcdVideoResolutionSource
53 gEfiDevicePathProtocolGuid ## PRODUCES
54 gEfiGraphicsOutputProtocolGuid ## CONSUMES
55 gEfiHiiConfigAccessProtocolGuid ## PRODUCES
59 gOvmfPlatformConfigGuid
62 gEfiHiiConfigRoutingProtocolGuid AND
63 gEfiHiiDatabaseProtocolGuid AND
64 gEfiVariableArchProtocolGuid AND
65 gEfiVariableWriteArchProtocolGuid