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
35 EmbeddedPkg/EmbeddedPkg.dec
52 gArmGlobalVariableGuid
55 gEfiBdsArchProtocolGuid
56 gEfiDevicePathProtocolGuid
57 gEfiDevicePathFromTextProtocolGuid
58 gEfiSimpleFileSystemProtocolGuid
59 gEfiFirmwareVolume2ProtocolGuid
60 gEfiLoadFileProtocolGuid
61 gEfiPxeBaseCodeProtocolGuid
62 gEfiDiskIoProtocolGuid
64 gEfiLoadedImageProtocolGuid
69 gArmTokenSpaceGuid.PcdSystemMemoryBase
70 gArmTokenSpaceGuid.PcdSystemMemorySize
72 gArmTokenSpaceGuid.PcdArmMachineType
73 gArmTokenSpaceGuid.PcdArmLinuxFdtMaxOffset
74 gArmTokenSpaceGuid.PcdArmLinuxKernelFixedOffset
75 gArmTokenSpaceGuid.PcdArmLinuxKernelMaxOffset
76 gArmTokenSpaceGuid.PcdArmLinuxAtagMaxOffset