#/** @file
#
#  Copyright (c) 2017-2018, Arm Limited. All rights reserved.
#
#  SPDX-License-Identifier: BSD-2-Clause-Patent
#
#  System Control and Management Interface V1.0
#    http://infocenter.arm.com/help/topic/com.arm.doc.den0056a/
#    DEN0056A_System_Control_and_Management_Interface.pdf
#**/

[Defines]
  INF_VERSION                    = 0x00010019
  BASE_NAME                      = ArmScmiDxe
  FILE_GUID                      = 9585984C-F027-45E9-AFDF-ADAA6DFAAAC7
  MODULE_TYPE                    = DXE_DRIVER
  VERSION_STRING                 = 1.0
  ENTRY_POINT                    = ArmScmiDxeEntryPoint

[Sources.common]
  Scmi.c
  ScmiBaseProtocol.c
  ScmiClockProtocol.c
  ScmiDxe.c
  ScmiPerformanceProtocol.c

[Packages]
  ArmPkg/ArmPkg.dec
  ArmPlatformPkg/ArmPlatformPkg.dec
  MdePkg/MdePkg.dec

[LibraryClasses]
  ArmLib
  ArmMtlLib
  DebugLib
  IoLib
  UefiBootServicesTableLib
  UefiDriverEntryPoint

[Protocols]
  gArmScmiBaseProtocolGuid
  gArmScmiClockProtocolGuid
  gArmScmiClock2ProtocolGuid
  gArmScmiPerformanceProtocolGuid

[Depex]
  TRUE