#\r
-# Copyright (c) 2011-2012, ARM Limited. All rights reserved.\r
+# Copyright (c) 2011-2015, ARM Limited. All rights reserved.\r
# Copyright (c) 2014, Linaro Limited. All rights reserved.\r
#\r
# This program and the accompanying materials\r
#\r
#\r
\r
+[Defines]\r
+ DEFINE DEBUG_PRINT_ERROR_LEVEL = 0x8000004F\r
+\r
[LibraryClasses.common]\r
!if $(TARGET) == RELEASE\r
DebugLib|MdePkg/Library/BaseDebugLibNull/BaseDebugLibNull.inf\r
UefiHiiServicesLib|MdeModulePkg/Library/UefiHiiServicesLib/UefiHiiServicesLib.inf\r
\r
UefiRuntimeLib|MdePkg/Library/UefiRuntimeLib/UefiRuntimeLib.inf\r
+ OrderedCollectionLib|MdePkg/Library/BaseOrderedCollectionRedBlackTreeLib/BaseOrderedCollectionRedBlackTreeLib.inf\r
\r
#\r
# Allow dynamic PCDs\r
ArmGenericTimerCounterLib|ArmPkg/Library/ArmGenericTimerVirtCounterLib/ArmGenericTimerVirtCounterLib.inf\r
\r
PlatformPeiLib|ArmPlatformPkg/ArmVirtualizationPkg/Library/PlatformPeiLib/PlatformPeiLib.inf\r
- EfiResetSystemLib|ArmPkg/Library/ArmPsciResetSystemLib/ArmPsciResetSystemLib.inf\r
+ EfiResetSystemLib|ArmPlatformPkg/ArmVirtualizationPkg/Library/ArmVirtualizationPsciResetSystemLib/ArmVirtualizationPsciResetSystemLib.inf\r
\r
# ARM PL031 RTC Driver\r
RealTimeClockLib|ArmPlatformPkg/Library/PL031RealTimeClockLib/PL031RealTimeClockLib.inf\r
BdsLib|ArmPkg/Library/BdsLib/BdsLib.inf\r
FdtLib|EmbeddedPkg/Library/FdtLib/FdtLib.inf\r
\r
+ # PCI Libraries\r
+ PciLib|MdePkg/Library/BasePciLibPciExpress/BasePciLibPciExpress.inf\r
+ PciExpressLib|ArmPlatformPkg/ArmVirtualizationPkg/Library/BaseCachingPciExpressLib/BaseCachingPciExpressLib.inf\r
+\r
+ # USB Libraries\r
+ UefiUsbLib|MdePkg/Library/UefiUsbLib/UefiUsbLib.inf\r
+\r
+ XenIoMmioLib|OvmfPkg/Library/XenIoMmioLib/XenIoMmioLib.inf\r
+\r
[LibraryClasses.common.SEC]\r
PcdLib|MdePkg/Library/BasePcdLibNull/BasePcdLibNull.inf\r
ArmPlatformSecExtraActionLib|ArmPlatformPkg/Library/DebugSecExtraActionLib/DebugSecExtraActionLib.inf\r
# DEBUG_FS 0x00000008 // EFI File system\r
# DEBUG_POOL 0x00000010 // Alloc & Free's\r
# DEBUG_PAGE 0x00000020 // Alloc & Free's\r
- # DEBUG_INFO 0x00000040 // Verbose\r
- # DEBUG_DISPATCH 0x00000080 // PEI/DXE Dispatchers\r
+ # DEBUG_INFO 0x00000040 // Informational debug messages\r
+ # DEBUG_DISPATCH 0x00000080 // PEI/DXE/SMM Dispatchers\r
# DEBUG_VARIABLE 0x00000100 // Variable\r
# DEBUG_BM 0x00000400 // Boot Manager\r
# DEBUG_BLKIO 0x00001000 // BlkIo Driver\r
# DEBUG_EVENT 0x00080000 // Event messages\r
# DEBUG_GCD 0x00100000 // Global Coherency Database changes\r
# DEBUG_CACHE 0x00200000 // Memory range cachability changes\r
+ # DEBUG_VERBOSE 0x00400000 // Detailed debug messages that may\r
+ # // significantly impact boot performance\r
# DEBUG_ERROR 0x80000000 // Error\r
- # gEfiMdePkgTokenSpaceGuid.PcdDebugPrintErrorLevel|0x8000000F\r
+ gEfiMdePkgTokenSpaceGuid.PcdDebugPrintErrorLevel|$(DEBUG_PRINT_ERROR_LEVEL)\r
\r
gEfiMdePkgTokenSpaceGuid.PcdReportStatusCodePropertyMask|0x07\r
\r