# PPI to discover and dispatch the DXE Foundation and components that are\r
# needed to run the DXE Foundation.\r
#\r
-# Copyright (c) 2006 - 2014, Intel Corporation. All rights reserved.<BR>\r
+# Copyright (c) 2006 - 2016, Intel Corporation. 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
MdePkg/MdePkg.dec\r
MdeModulePkg/MdeModulePkg.dec\r
\r
+[Packages.ARM, Packages.AARCH64]\r
+ ArmPkg/ArmPkg.dec\r
+\r
[LibraryClasses]\r
PcdLib\r
MemoryAllocationLib\r
DebugAgentLib\r
PeiServicesTablePointerLib\r
\r
+[LibraryClasses.ARM, LibraryClasses.AARCH64]\r
+ ArmLib\r
+\r
[Ppis]\r
gEfiDxeIplPpiGuid ## PRODUCES\r
gEfiPeiDecompressPpiGuid ## PRODUCES\r
## SOMETIMES_CONSUMES\r
## UNDEFINED # HOB\r
gEfiVectorHandoffInfoPpiGuid\r
+ gEfiPeiMemoryDiscoveredPpiGuid ## SOMETIMES_CONSUMES\r
\r
[Guids]\r
## SOMETIMES_CONSUMES ## Variable:L"MemoryTypeInformation"\r
[Pcd.IA32,Pcd.X64]\r
gEfiMdeModulePkgTokenSpaceGuid.PcdUse1GPageTable ## SOMETIMES_CONSUMES\r
\r
+[Pcd.IA32,Pcd.X64,Pcd.ARM,Pcd.AARCH64]\r
+ gEfiMdeModulePkgTokenSpaceGuid.PcdSetNxForStack ## SOMETIMES_CONSUMES\r
+\r
[Depex]\r
- gEfiPeiMemoryDiscoveredPpiGuid AND gEfiPeiLoadFilePpiGuid AND gEfiPeiMasterBootModePpiGuid\r
+ gEfiPeiLoadFilePpiGuid AND gEfiPeiMasterBootModePpiGuid\r
\r
#\r
# [BootMode]\r