#/** @file
|
#
|
# ACPI table data and ASL sources required to boot the platform.
|
#
|
# Copyright (c) 2019-2021, ARM Limited. All rights reserved.
|
# Copyright (c) 2017, Andrey Warkentin <andrey.warkentin@gmail.com>
|
# Copyright (c) Microsoft Corporation. All rights reserved.
|
#
|
# SPDX-License-Identifier: BSD-2-Clause-Patent
|
#
|
#**/
|
|
[Defines]
|
INF_VERSION = 0x0001001A
|
BASE_NAME = AcpiTables
|
FILE_GUID = 7E374E25-8E01-4FEE-87F2-390C23C606CD
|
MODULE_TYPE = USER_DEFINED
|
VERSION_STRING = 1.0
|
|
#
|
# The following information is for reference only and not required by the build tools.
|
#
|
# VALID_ARCHITECTURES = AARCH64
|
#
|
|
[Sources]
|
AcpiTables.h
|
Emmc.asl
|
Madt.aslc
|
Fadt.aslc
|
Dbg2MiniUart.aslc
|
Dbg2Pl011.aslc
|
Gtdt.aslc
|
Iort.aslc
|
Dsdt.asl
|
Csrt.aslc
|
SpcrMiniUart.aslc
|
SpcrPl011.aslc
|
Pptt.aslc
|
SsdtThermal.asl
|
Xhci.asl
|
Pci.asl
|
|
[Packages]
|
ArmPkg/ArmPkg.dec
|
ArmPlatformPkg/ArmPlatformPkg.dec
|
EmbeddedPkg/EmbeddedPkg.dec
|
MdeModulePkg/MdeModulePkg.dec
|
MdePkg/MdePkg.dec
|
Platform/RaspberryPi/RaspberryPi.dec
|
Silicon/Broadcom/Bcm27xx/Bcm27xx.dec
|
Silicon/Broadcom/Bcm283x/Bcm283x.dec
|
Silicon/Broadcom/Drivers/Net/BcmNet.dec
|
|
[FixedPcd]
|
gArmTokenSpaceGuid.PcdArmArchTimerIntrNum
|
gArmTokenSpaceGuid.PcdArmArchTimerHypIntrNum
|
gArmTokenSpaceGuid.PcdArmArchTimerSecIntrNum
|
gArmTokenSpaceGuid.PcdArmArchTimerVirtIntrNum
|
gArmTokenSpaceGuid.PcdGicInterruptInterfaceBase
|
gArmTokenSpaceGuid.PcdGicDistributorBase
|
gBcm27xxTokenSpaceGuid.PcdBcm27xxPciCpuMmioAdr
|
gBcm27xxTokenSpaceGuid.PcdBcm27xxPciBusMmioAdr
|
gBcm27xxTokenSpaceGuid.PcdBcm27xxPciBusMmioLen
|
gBcm27xxTokenSpaceGuid.PcdBcm27xxPciRegBase
|
gBcm27xxTokenSpaceGuid.PcdBcmGenetRegistersAddress
|
gBcm283xTokenSpaceGuid.PcdBcm283xRegistersAddress
|
gEfiMdePkgTokenSpaceGuid.PcdUartDefaultBaudRate
|
gEmbeddedTokenSpaceGuid.PcdInterruptBaseAddress
|
gRaspberryPiTokenSpaceGuid.PcdGicInterruptInterfaceHBase
|
gRaspberryPiTokenSpaceGuid.PcdGicInterruptInterfaceVBase
|
gRaspberryPiTokenSpaceGuid.PcdGicGsivId
|
gRaspberryPiTokenSpaceGuid.PcdGicPmuIrq0
|
gRaspberryPiTokenSpaceGuid.PcdGicPmuIrq1
|
gRaspberryPiTokenSpaceGuid.PcdGicPmuIrq2
|
gRaspberryPiTokenSpaceGuid.PcdGicPmuIrq3
|
|
[BuildOptions]
|
GCC:*_*_*_ASL_FLAGS = -vw3133 -vw3150
|