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 EmbeddedPkg/EmbeddedPkg.dec
42 ArmPlatformPkg/ArmPlatformPkg.dec
57 [LibraryClasses.AARCH64]
63 gArmGlobalVariableGuid
66 gEfiBdsArchProtocolGuid
67 gEfiDevicePathProtocolGuid
68 gEfiDevicePathFromTextProtocolGuid
69 gEfiSimpleFileSystemProtocolGuid
70 gEfiFirmwareVolume2ProtocolGuid
71 gEfiLoadFileProtocolGuid
72 gEfiPxeBaseCodeProtocolGuid
73 gEfiDiskIoProtocolGuid
75 gEfiLoadedImageProtocolGuid
76 gEfiSimpleNetworkProtocolGuid
79 gArmTokenSpaceGuid.PcdArmLinuxSpinTable
82 gArmTokenSpaceGuid.PcdSystemMemoryBase
83 gArmTokenSpaceGuid.PcdSystemMemorySize
86 gArmTokenSpaceGuid.PcdArmMachineType
87 gArmTokenSpaceGuid.PcdArmLinuxFdtMaxOffset
88 gArmTokenSpaceGuid.PcdArmLinuxFdtAlignment
89 gArmTokenSpaceGuid.PcdArmLinuxKernelMaxOffset
91 gArmTokenSpaceGuid.PcdMaxTftpFileSize
94 gArmTokenSpaceGuid.PcdArmLinuxAtagMaxOffset
97 gArmTokenSpaceGuid.PcdGicDistributorBase
98 gArmTokenSpaceGuid.PcdGicSgiIntId