#/** @file\r
-# \r
-# Copyright (c) 2010, ARM Ltd. All rights reserved.<BR>\r
+#\r
+# Copyright (c) 2011-2012, ARM Ltd. All rights reserved.<BR>\r
# This program and the accompanying materials\r
# are licensed and made available under the terms and conditions of the BSD License\r
# which accompanies this distribution. The full text of the license may be found at\r
# http://opensource.org/licenses/bsd-license.php\r
-# \r
+#\r
# THE PROGRAM IS DISTRIBUTED UNDER THE BSD LICENSE ON AN "AS IS" BASIS,\r
# WITHOUT WARRANTIES OR REPRESENTATIONS OF ANY KIND, EITHER EXPRESS OR IMPLIED.\r
-# \r
+#\r
#**/\r
\r
\r
[Defines]\r
INF_VERSION = 0x00010005\r
- BASE_NAME = ArmVeEblCmdLib\r
+ BASE_NAME = ArmPlatformEblCmdLib\r
FILE_GUID = 6085e1ca-0d2d-4ba4-9872-c59b36ffd6ad\r
MODULE_TYPE = UEFI_DRIVER\r
VERSION_STRING = 1.0\r
- LIBRARY_CLASS = EblCmdLib|DXE_DRIVER UEFI_APPLICATION UEFI_DRIVER \r
+ LIBRARY_CLASS = EblCmdLib|DXE_DRIVER UEFI_APPLICATION UEFI_DRIVER\r
\r
\r
#\r
\r
[Sources.common]\r
EblCmdLib.c\r
- EblCmdMmu.c\r
+ EblCmdFdt.c\r
+\r
+[Sources.ARM]\r
+ Arm/EblCmdMmu.c\r
+\r
+[Sources.AARCH64]\r
+ AArch64/EblCmdMmu.c\r
\r
[Packages]\r
MdePkg/MdePkg.dec\r
MdeModulePkg/MdeModulePkg.dec\r
EmbeddedPkg/EmbeddedPkg.dec\r
ArmPkg/ArmPkg.dec\r
+ ArmPlatformPkg/ArmPlatformPkg.dec\r
\r
[LibraryClasses]\r
BaseLib\r
ArmDisassemblerLib\r
PerformanceLib\r
TimerLib\r
- \r
+ BdsLib\r
+ FdtLib\r
+\r
[Protocols]\r
- gEfiDebugSupportProtocolGuid\r
- gEfiLoadedImageProtocolGuid\r
- \r
+ gEfiDebugSupportProtocolGuid\r
+ gEfiLoadedImageProtocolGuid\r
+ gEfiDevicePathToTextProtocolGuid\r
+\r
[Guids]\r
- gEfiDebugImageInfoTableGuid\r
+ gEfiDebugImageInfoTableGuid\r
+ gFdtTableGuid\r