-#/* @file
-#
-# Copyright (c) 2011-2012, ARM Limited. All rights reserved.
-#
-# This program and the accompanying materials
-# are licensed and made available under the terms and conditions of the BSD License
-# which accompanies this distribution. The full text of the license may be found at
-# http://opensource.org/licenses/bsd-license.php
-#
-# THE PROGRAM IS DISTRIBUTED UNDER THE BSD LICENSE ON AN "AS IS" BASIS,
-# WITHOUT WARRANTIES OR REPRESENTATIONS OF ANY KIND, EITHER EXPRESS OR IMPLIED.
-#
-#*/
-
-[Defines]
- INF_VERSION = 0x00010005
- BASE_NAME = BdsLib
- FILE_GUID = ddbf73a0-bb25-11df-8e4e-0002a5d5c51b
- MODULE_TYPE = DXE_DRIVER
- VERSION_STRING = 1.0
- LIBRARY_CLASS = BdsLib
-
-[Sources.common]
- BdsFilePath.c
- BdsAppLoader.c
- BdsHelper.c
- BdsLoadOption.c
-
- BdsLinuxLoader.c
- BdsLinuxAtag.c
- BdsLinuxFdt.c
-
-[Packages]
- MdePkg/MdePkg.dec
- EmbeddedPkg/EmbeddedPkg.dec
- ArmPkg/ArmPkg.dec
-
-[LibraryClasses]
- ArmLib
- BaseLib
- DebugLib
- DevicePathLib
- HobLib
- PerformanceLib
- SerialPortLib
- FdtLib
-
-[Guids]
- gEfiFileInfoGuid
- gArmMpCoreInfoGuid
-
-[Protocols]
- gEfiBdsArchProtocolGuid
- gEfiDevicePathProtocolGuid
- gEfiDevicePathFromTextProtocolGuid
- gEfiSimpleFileSystemProtocolGuid
- gEfiFirmwareVolume2ProtocolGuid
- gEfiLoadFileProtocolGuid
- gEfiPxeBaseCodeProtocolGuid
- gEfiDiskIoProtocolGuid
- gEfiUsbIoProtocolGuid
- gEfiLoadedImageProtocolGuid
-
-[FeaturePcd]
-
-[FixedPcd]
- gArmTokenSpaceGuid.PcdSystemMemoryBase
- gArmTokenSpaceGuid.PcdSystemMemorySize
-
- gArmTokenSpaceGuid.PcdArmMachineType
- gArmTokenSpaceGuid.PcdArmLinuxFdtMaxOffset
- gArmTokenSpaceGuid.PcdArmLinuxKernelFixedOffset
- gArmTokenSpaceGuid.PcdArmLinuxKernelMaxOffset
- gArmTokenSpaceGuid.PcdArmLinuxAtagMaxOffset
-
-[Depex]
- TRUE
+#/* @file\r
+# \r
+# Copyright (c) 2011-2013, ARM Limited. All rights reserved.\r
+# \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
+# 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
+[Defines]\r
+ INF_VERSION = 0x00010005\r
+ BASE_NAME = BdsLib\r
+ FILE_GUID = ddbf73a0-bb25-11df-8e4e-0002a5d5c51b\r
+ MODULE_TYPE = DXE_DRIVER\r
+ VERSION_STRING = 1.0\r
+ LIBRARY_CLASS = BdsLib\r
+\r
+[Sources.common]\r
+ BdsFilePath.c\r
+ BdsAppLoader.c\r
+ BdsHelper.c\r
+ BdsLoadOption.c\r
+ BdsLinuxFdt.c\r
+\r
+[Sources.ARM]\r
+ Arm/BdsLinuxLoader.c\r
+ Arm/BdsLinuxAtag.c\r
+\r
+[Packages]\r
+ MdePkg/MdePkg.dec\r
+ EmbeddedPkg/EmbeddedPkg.dec\r
+ ArmPkg/ArmPkg.dec\r
+ ArmPlatformPkg/ArmPlatformPkg.dec\r
+\r
+[LibraryClasses]\r
+ ArmLib\r
+ ArmSmcLib\r
+ BaseLib\r
+ DebugLib\r
+ DevicePathLib\r
+ HobLib\r
+ PerformanceLib\r
+ SerialPortLib\r
+ FdtLib\r
+ TimerLib\r
+\r
+[Guids]\r
+ gEfiFileInfoGuid\r
+ gArmMpCoreInfoGuid\r
+ gArmGlobalVariableGuid\r
+\r
+[Protocols]\r
+ gEfiBdsArchProtocolGuid \r
+ gEfiDevicePathProtocolGuid\r
+ gEfiDevicePathFromTextProtocolGuid\r
+ gEfiSimpleFileSystemProtocolGuid\r
+ gEfiFirmwareVolume2ProtocolGuid\r
+ gEfiLoadFileProtocolGuid\r
+ gEfiPxeBaseCodeProtocolGuid\r
+ gEfiDiskIoProtocolGuid\r
+ gEfiUsbIoProtocolGuid\r
+ gEfiLoadedImageProtocolGuid\r
+ gEfiSimpleNetworkProtocolGuid\r
+ \r
+[FeaturePcd]\r
+ gArmTokenSpaceGuid.PcdArmPsciSupport\r
+\r
+[FixedPcd]\r
+ gArmTokenSpaceGuid.PcdSystemMemoryBase\r
+ gArmTokenSpaceGuid.PcdSystemMemorySize\r
+\r
+ gArmTokenSpaceGuid.PcdArmMachineType\r
+ gArmTokenSpaceGuid.PcdArmLinuxFdtMaxOffset\r
+ gArmTokenSpaceGuid.PcdArmLinuxFdtAlignment\r
+ gArmTokenSpaceGuid.PcdArmLinuxKernelMaxOffset\r
+\r
+[FixedPcd.ARM]\r
+ gArmTokenSpaceGuid.PcdArmLinuxAtagMaxOffset\r
+\r
+[Depex]\r
+ TRUE\r