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
40 MdeModulePkg/MdeModulePkg.dec
41 EmbeddedPkg/EmbeddedPkg.dec
43 ArmPlatformPkg/ArmPlatformPkg.dec
59 [LibraryClasses.AARCH64]
65 gArmGlobalVariableGuid
68 gEfiBdsArchProtocolGuid
69 gEfiDevicePathProtocolGuid
70 gEfiDevicePathFromTextProtocolGuid
71 gEfiSimpleFileSystemProtocolGuid
72 gEfiFirmwareVolume2ProtocolGuid
73 gEfiLoadFileProtocolGuid
74 gEfiPxeBaseCodeProtocolGuid
75 gEfiDiskIoProtocolGuid
77 gEfiLoadedImageProtocolGuid
78 gEfiSimpleNetworkProtocolGuid
79 gEfiDhcp4ServiceBindingProtocolGuid
81 gEfiMtftp4ServiceBindingProtocolGuid
82 gEfiMtftp4ProtocolGuid
85 gArmTokenSpaceGuid.PcdArmLinuxSpinTable
88 gArmTokenSpaceGuid.PcdSystemMemoryBase
89 gArmTokenSpaceGuid.PcdSystemMemorySize
92 gArmTokenSpaceGuid.PcdArmMachineType
93 gArmTokenSpaceGuid.PcdArmLinuxFdtMaxOffset
94 gArmTokenSpaceGuid.PcdArmLinuxFdtAlignment
95 gArmTokenSpaceGuid.PcdArmLinuxKernelMaxOffset
97 gArmTokenSpaceGuid.PcdMaxTftpFileSize
100 gArmTokenSpaceGuid.PcdArmLinuxAtagMaxOffset
103 gArmTokenSpaceGuid.PcdGicDistributorBase
104 gArmTokenSpaceGuid.PcdGicSgiIntId