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
52 gEfiDevicePathProtocolGuid ## PRODUCES
53 gEfiGraphicsOutputProtocolGuid ## CONSUMES
54 gEfiHiiConfigAccessProtocolGuid ## PRODUCES
58 gOvmfPlatformConfigGuid
61 gEfiHiiConfigRoutingProtocolGuid AND
62 gEfiHiiDatabaseProtocolGuid AND
63 gEfiVariableArchProtocolGuid AND
64 gEfiVariableWriteArchProtocolGuid