3 # Copyright (c) 2017-2018, Arm Limited. All rights reserved.
5 # This program and the accompanying materials
6 # are licensed and made available under the terms and conditions of the BSD License
7 # which accompanies this distribution. The full text of the license may be found at
8 # http://opensource.org/licenses/bsd-license.php
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 IMPLIED.
13 # System Control and Management Interface V1.0
14 # http://infocenter.arm.com/help/topic/com.arm.doc.den0056a/
15 # DEN0056A_System_Control_and_Management_Interface.pdf
19 INF_VERSION = 0x00010019
20 BASE_NAME = ArmScmiDxe
21 FILE_GUID = 9585984C-F027-45E9-AFDF-ADAA6DFAAAC7
22 MODULE_TYPE = DXE_DRIVER
24 ENTRY_POINT = ArmScmiDxeEntryPoint
31 ScmiPerformanceProtocol.c
35 ArmPlatformPkg/ArmPlatformPkg.dec
43 UefiBootServicesTableLib
47 gArmScmiBaseProtocolGuid
48 gArmScmiClockProtocolGuid
49 gArmScmiClock2ProtocolGuid
50 gArmScmiPerformanceProtocolGuid