OvmfPkg/PlatformDxe/Platform.inf

   1 ## @file
   2 #  This driver effectuates OVMF's platform configuration settings and exposes
   3 #  them via HII.
   4 #
   5 #  Copyright (C) 2014, Red Hat, Inc.
   6 #  Copyright (c) 2009 - 2010, Intel Corporation. All rights reserved.<BR>
   7 #
   8 #  This program and the accompanying materials are licensed and made available
   9 #  under the terms and conditions of the BSD License which accompanies this
  10 #  distribution. The full text of the license may be found at
  11 #  http://opensource.org/licenses/bsd-license.php
  12 #
  13 #  THE PROGRAM IS DISTRIBUTED UNDER THE BSD LICENSE ON AN "AS IS" BASIS,
  14 #  WITHOUT WARRANTIES OR REPRESENTATIONS OF ANY KIND, EITHER EXPRESS OR
  15 #  IMPLIED.
  16 ##
  17
  18 [Defines]
  19   INF_VERSION                    = 0x00010005
  20   BASE_NAME                      = PlatformDxe
  21   FILE_GUID                      = D9DCC5DF-4007-435E-9098-8970935504B2
  22   MODULE_TYPE                    = DXE_DRIVER
  23   VERSION_STRING                 = 1.0
  24   ENTRY_POINT                    = PlatformInit
  25   UNLOAD_IMAGE                   = PlatformUnload
  26
  27 [Sources]
  28   Platform.c
  29   PlatformConfig.c
  30
  31 [Packages]
  32   MdePkg/MdePkg.dec
  33   MdeModulePkg/MdeModulePkg.dec
  34   OvmfPkg/OvmfPkg.dec
  35
  36 [LibraryClasses]
  37   BaseMemoryLib
  38   DebugLib
  39   MemoryAllocationLib
  40   UefiBootServicesTableLib
  41   UefiLib
  42   UefiRuntimeServicesTableLib
  43   UefiDriverEntryPoint
  44
  45 [Guids]
  46   gOvmfPlatformConfigGuid
  47
  48 [Depex]
  49   gEfiVariableArchProtocolGuid      AND
  50   gEfiVariableWriteArchProtocolGuid