3 # Copyright (c) 2011-2013, 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.
16 INF_VERSION = 0x00010005
18 FILE_GUID = ddbf73a0-bb25-11df-8e4e-0002a5d5c51b
19 MODULE_TYPE = DXE_DRIVER
21 LIBRARY_CLASS = BdsLib
36 EmbeddedPkg/EmbeddedPkg.dec
38 ArmPlatformPkg/ArmPlatformPkg.dec
55 gArmGlobalVariableGuid
58 gEfiBdsArchProtocolGuid
59 gEfiDevicePathProtocolGuid
60 gEfiDevicePathFromTextProtocolGuid
61 gEfiSimpleFileSystemProtocolGuid
62 gEfiFirmwareVolume2ProtocolGuid
63 gEfiLoadFileProtocolGuid
64 gEfiPxeBaseCodeProtocolGuid
65 gEfiDiskIoProtocolGuid
67 gEfiLoadedImageProtocolGuid
68 gEfiSimpleNetworkProtocolGuid
71 gArmTokenSpaceGuid.PcdArmPsciSupport
74 gArmTokenSpaceGuid.PcdSystemMemoryBase
75 gArmTokenSpaceGuid.PcdSystemMemorySize
77 gArmTokenSpaceGuid.PcdArmMachineType
78 gArmTokenSpaceGuid.PcdArmLinuxFdtMaxOffset
79 gArmTokenSpaceGuid.PcdArmLinuxKernelMaxOffset
80 gArmTokenSpaceGuid.PcdArmLinuxAtagMaxOffset