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
56 [LibraryClasses.AARCH64]
62 gArmGlobalVariableGuid
65 gEfiBdsArchProtocolGuid
66 gEfiDevicePathProtocolGuid
67 gEfiDevicePathFromTextProtocolGuid
68 gEfiSimpleFileSystemProtocolGuid
69 gEfiFirmwareVolume2ProtocolGuid
70 gEfiLoadFileProtocolGuid
71 gEfiPxeBaseCodeProtocolGuid
72 gEfiDiskIoProtocolGuid
74 gEfiLoadedImageProtocolGuid
75 gEfiSimpleNetworkProtocolGuid
78 gArmTokenSpaceGuid.PcdArmLinuxSpinTable
81 gArmTokenSpaceGuid.PcdSystemMemoryBase
82 gArmTokenSpaceGuid.PcdSystemMemorySize
84 gArmTokenSpaceGuid.PcdArmMachineType
85 gArmTokenSpaceGuid.PcdArmLinuxFdtMaxOffset
86 gArmTokenSpaceGuid.PcdArmLinuxFdtAlignment
87 gArmTokenSpaceGuid.PcdArmLinuxKernelMaxOffset
89 gArmTokenSpaceGuid.PcdMaxTftpFileSize
92 gArmTokenSpaceGuid.PcdArmLinuxAtagMaxOffset
95 gArmTokenSpaceGuid.PcdGicDistributorBase
96 gArmTokenSpaceGuid.PcdGicSgiIntId