3 # Copyright (c) 2011-2014, 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 AArch64/BdsLinuxLoader.c
36 AArch64/BdsLinuxLoaderHelper.S
39 EmbeddedPkg/EmbeddedPkg.dec
42 MdeModulePkg/MdeModulePkg.dec
43 ArmPlatformPkg/ArmPlatformPkg.dec
59 [LibraryClasses.AARCH64]
65 gArmGlobalVariableGuid
69 gEfiBdsArchProtocolGuid
70 gEfiDevicePathProtocolGuid
71 gEfiDevicePathFromTextProtocolGuid
72 gEfiSimpleFileSystemProtocolGuid
73 gEfiFirmwareVolume2ProtocolGuid
74 gEfiLoadFileProtocolGuid
75 gEfiPxeBaseCodeProtocolGuid
76 gEfiDiskIoProtocolGuid
78 gEfiLoadedImageProtocolGuid
79 gEfiSimpleNetworkProtocolGuid
80 gEfiDhcp4ServiceBindingProtocolGuid
82 gEfiMtftp4ServiceBindingProtocolGuid
83 gEfiMtftp4ProtocolGuid
86 gArmTokenSpaceGuid.PcdArmLinuxSpinTable
89 gArmTokenSpaceGuid.PcdSystemMemoryBase
90 gArmTokenSpaceGuid.PcdSystemMemorySize
93 gArmTokenSpaceGuid.PcdArmMachineType
94 gArmTokenSpaceGuid.PcdArmLinuxFdtMaxOffset
95 gArmTokenSpaceGuid.PcdArmLinuxFdtAlignment
96 gArmTokenSpaceGuid.PcdArmLinuxKernelMaxOffset
98 gArmTokenSpaceGuid.PcdMaxTftpFileSize
101 gArmTokenSpaceGuid.PcdArmLinuxAtagMaxOffset
104 gArmTokenSpaceGuid.PcdGicDistributorBase
105 gArmTokenSpaceGuid.PcdGicSgiIntId