3 # Copyright (c) 2017-2018, Arm Limited. All rights reserved.
5 # SPDX-License-Identifier: BSD-2-Clause-Patent
7 # System Control and Management Interface V1.0
8 # http://infocenter.arm.com/help/topic/com.arm.doc.den0056a/
9 # DEN0056A_System_Control_and_Management_Interface.pdf
13 INF_VERSION = 0x00010019
14 BASE_NAME = ArmScmiDxe
15 FILE_GUID = 9585984C-F027-45E9-AFDF-ADAA6DFAAAC7
16 MODULE_TYPE = DXE_DRIVER
18 ENTRY_POINT = ArmScmiDxeEntryPoint
25 ScmiPerformanceProtocol.c
29 ArmPlatformPkg/ArmPlatformPkg.dec
37 UefiBootServicesTableLib
41 gArmScmiBaseProtocolGuid
42 gArmScmiClockProtocolGuid
43 gArmScmiClock2ProtocolGuid
44 gArmScmiPerformanceProtocolGuid