MdeModulePkg: Add SMBIOS 64-bit support for SMBIOS 3.0.

[mirror_edk2.git] / ArmPlatformPkg / ArmVirtualizationPkg / ArmVirtualization.dsc.inc

diff --git a/ArmPlatformPkg/ArmVirtualizationPkg/ArmVirtualization.dsc.inc b/ArmPlatformPkg/ArmVirtualizationPkg/ArmVirtualization.dsc.inc
index 70b14fbad51432b1ff80ee7312cc5c5ab7574680..4e30e9f3818a49171c0e5238a89241335965059e 100644 (file)
--- a/ArmPlatformPkg/ArmVirtualizationPkg/ArmVirtualization.dsc.inc
+++ b/ArmPlatformPkg/ArmVirtualizationPkg/ArmVirtualization.dsc.inc
@@ -1,5 +1,5 @@
 #\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
@@ -12,6 +12,9 @@
 #\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
@@ -104,6 +107,11 @@
   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
@@ -272,8 +280,8 @@
   #  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
@@ -283,8 +291,10 @@
   #  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