EmbeddedPkg/Drivers/NonCoherentIoMmuDxe/NonCoherentIoMmuDxe.inf

   1 #/** @file
   2 #
   3 #  Copyright (c) 2019, Linaro, Ltd. All rights reserved.<BR>
   4 #
   5 #  This program and the accompanying materials are licensed and made available
   6 #  under the terms and conditions of the BSD License which accompanies this
   7 #  distribution.  The full text of the license may be found at
   8 #  http://opensource.org/licenses/bsd-license.php
   9 #
  10 #  THE PROGRAM IS DISTRIBUTED UNDER THE BSD LICENSE ON AN "AS IS" BASIS,
  11 #  WITHOUT WARRANTIES OR REPRESENTATIONS OF ANY KIND, EITHER EXPRESS OR
  12 #  IMPLIED.
  13 #
  14 #**/
  15
  16 [Defines]
  17   INF_VERSION                    = 1.27
  18   BASE_NAME                      = NonCoherentIoMmuDxe
  19   FILE_GUID                      = 7ed510aa-9cdc-49d2-a306-6e11e359f9b3
  20   MODULE_TYPE                    = DXE_DRIVER
  21   VERSION_STRING                 = 1.0
  22   ENTRY_POINT                    = NonCoherentIoMmuDxeEntryPoint
  23
  24 [Sources]
  25   NonCoherentIoMmuDxe.c
  26
  27 [Packages]
  28   EmbeddedPkg/EmbeddedPkg.dec
  29   MdeModulePkg/MdeModulePkg.dec
  30   MdePkg/MdePkg.dec
  31
  32 [LibraryClasses]
  33   BaseLib
  34   DebugLib
  35   DmaLib
  36   UefiBootServicesTableLib
  37   UefiDriverEntryPoint
  38
  39 [Protocols]
  40   gEdkiiIoMmuProtocolGuid                     ## PRODUCES
  41
  42 [Depex]
  43   TRUE