3 # Copyright (c) 2017, Linaro, Ltd. All rights reserved.<BR>
5 # This program and the accompanying materials are licensed and made
6 # available under the terms and conditions of the BSD License which
7 # accompanies this distribution. The full text of the license may be
8 # found at 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
17 INF_VERSION = 0x00010019
18 BASE_NAME = DtPlatformDxe
19 FILE_GUID = FC097B3C-2EBD-4A75-A3DA-121DCAB365CC
20 MODULE_TYPE = DXE_DRIVER
22 ENTRY_POINT = DtPlatformDxeEntryPoint
25 # The following information is for reference only and not required by the build tools.
27 # VALID_ARCHITECTURES = IA32 X64 ARM AARCH64
36 EmbeddedPkg/EmbeddedPkg.dec
38 MdeModulePkg/MdeModulePkg.dec
43 DtPlatformDtbLoaderLib
46 UefiBootServicesTableLib
48 UefiRuntimeServicesTableLib
51 gDtPlatformFormSetGuid
52 gDtPlatformDefaultDtbFileGuid
53 gEdkiiPlatformHasAcpiGuid
57 gEfiVariableArchProtocolGuid AND
58 gEfiVariableWriteArchProtocolGuid