3 # Copyright (c) 2017, Linaro, Ltd. All rights reserved.<BR>
5 # SPDX-License-Identifier: BSD-2-Clause-Patent
10 INF_VERSION = 0x00010019
11 BASE_NAME = DtPlatformDxe
12 FILE_GUID = FC097B3C-2EBD-4A75-A3DA-121DCAB365CC
13 MODULE_TYPE = DXE_DRIVER
15 ENTRY_POINT = DtPlatformDxeEntryPoint
18 # The following information is for reference only and not required by the build tools.
20 # VALID_ARCHITECTURES = IA32 X64 ARM AARCH64
29 EmbeddedPkg/EmbeddedPkg.dec
31 MdeModulePkg/MdeModulePkg.dec
36 DtPlatformDtbLoaderLib
39 UefiBootServicesTableLib
41 UefiRuntimeServicesTableLib
44 gDtPlatformFormSetGuid
45 gDtPlatformDefaultDtbFileGuid
46 gEdkiiPlatformHasAcpiGuid
50 gEfiVariableArchProtocolGuid AND
51 gEfiVariableWriteArchProtocolGuid