1#/** @file
2#
3#  ACPI table data and ASL sources required to boot the platform.
4#
5#  Copyright (c) 2019, ARM Limited. All rights reserved.
6#  Copyright (c) 2017, Andrey Warkentin <andrey.warkentin@gmail.com>
7#  Copyright (c) Microsoft Corporation. All rights reserved.
8#
9#  SPDX-License-Identifier: BSD-2-Clause-Patent
10#
11#**/
12
13[Defines]
14  INF_VERSION                    = 0x0001001A
15  BASE_NAME                      = AcpiTables
16  FILE_GUID                      = 7E374E25-8E01-4FEE-87F2-390C23C606CD
17  MODULE_TYPE                    = USER_DEFINED
18  VERSION_STRING                 = 1.0
19
20#
21# The following information is for reference only and not required by the build tools.
22#
23#  VALID_ARCHITECTURES           = AARCH64
24#
25
26[Sources]
27  AcpiTables.h
28  Emmc.asl
29  Madt.aslc
30  Fadt.aslc
31  Dbg2.aslc
32  Gtdt.aslc
33  Iort.aslc
34  Dsdt.asl
35  Csrt.aslc
36  Spcr.aslc
37  Pptt.aslc
38  SsdtThermal.asl
39
40[Packages]
41  ArmPkg/ArmPkg.dec
42  ArmPlatformPkg/ArmPlatformPkg.dec
43  EmbeddedPkg/EmbeddedPkg.dec
44  MdeModulePkg/MdeModulePkg.dec
45  MdePkg/MdePkg.dec
46  Platform/RaspberryPi/RaspberryPi.dec
47  Silicon/Broadcom/Bcm27xx/Bcm27xx.dec
48  Silicon/Broadcom/Bcm283x/Bcm283x.dec
49  Silicon/Broadcom/Drivers/Net/BcmNet.dec
50
51[FixedPcd]
52  gArmTokenSpaceGuid.PcdArmArchTimerIntrNum
53  gArmTokenSpaceGuid.PcdArmArchTimerHypIntrNum
54  gArmTokenSpaceGuid.PcdArmArchTimerSecIntrNum
55  gArmTokenSpaceGuid.PcdArmArchTimerVirtIntrNum
56  gArmTokenSpaceGuid.PcdGicInterruptInterfaceBase
57  gArmTokenSpaceGuid.PcdGicDistributorBase
58  gBcm27xxTokenSpaceGuid.PcdBcm27xxPciCpuMmioAdr
59  gBcm27xxTokenSpaceGuid.PcdBcm27xxPciRegBase
60  gBcm27xxTokenSpaceGuid.PcdBcmGenetRegistersAddress
61  gBcm283xTokenSpaceGuid.PcdBcm283xRegistersAddress
62  gEfiMdePkgTokenSpaceGuid.PcdUartDefaultBaudRate
63  gEmbeddedTokenSpaceGuid.PcdInterruptBaseAddress
64  gRaspberryPiTokenSpaceGuid.PcdGicInterruptInterfaceHBase
65  gRaspberryPiTokenSpaceGuid.PcdGicInterruptInterfaceVBase
66  gRaspberryPiTokenSpaceGuid.PcdGicGsivId
67  gRaspberryPiTokenSpaceGuid.PcdGicPmuIrq0
68  gRaspberryPiTokenSpaceGuid.PcdGicPmuIrq1
69  gRaspberryPiTokenSpaceGuid.PcdGicPmuIrq2
70  gRaspberryPiTokenSpaceGuid.PcdGicPmuIrq3
71
72[BuildOptions]
73  GCC:*_*_*_ASL_FLAGS       = -vw3133 -vw3150
74