Added support for L2 (4K) page tables and made the CPU driver change cachability...

[mirror_edk2.git] / ArmPkg / Drivers / CpuDxe / CpuDxe.inf

diff --git a/ArmPkg/Drivers/CpuDxe/CpuDxe.inf b/ArmPkg/Drivers/CpuDxe/CpuDxe.inf
index f22b255c8d3d9274c69dbe0051b902ce3ecf463d..d4b494536bdf1e31cb5e53d18b2a2619fad74996 100644 (file)
--- a/ArmPkg/Drivers/CpuDxe/CpuDxe.inf
+++ b/ArmPkg/Drivers/CpuDxe/CpuDxe.inf
@@ -39,6 +39,7 @@
 #\r
   ExceptionSupport.ARMv6.asm | RVCT\r
 #  ExceptionSupport.ARMv6.S   | GCC\r
+  Mmu.c\r
 \r
 [Packages]\r
   ArmPkg/ArmPkg.dec\r
@@ -50,10 +51,18 @@
   CacheMaintenanceLib\r
   UefiDriverEntryPoint\r
   ArmLib\r
+  DxeServicesTableLib\r
+  PeCoffGetEntryPointLib\r
+  UefiLib\r
+  CpuLib\r
 \r
 [Protocols]\r
   gEfiCpuArchProtocolGuid\r
   gEfiDebugSupportPeriodicCallbackProtocolGuid\r
+  gVirtualUncachedPagesProtocolGuid\r
+\r
+[Guids]\r
+  gEfiDebugImageInfoTableGuid\r
 \r
 [Pcd.common]\r
   gArmTokenSpaceGuid.PcdCpuVectorBaseAddress\r