--- /dev/null
+#%HEADER%\r
+[Defines]\r
+ INF_VERSION = 0x00010005\r
+ BASE_NAME = ArmDebugSupportDxe\r
+ FILE_GUID = 2e7c151b-cbd8-4df6-a0e3-cde660067c6a\r
+ MODULE_TYPE = DXE_DRIVER\r
+ VERSION_STRING = 1.0\r
+\r
+ ENTRY_POINT = DebugSupportDxeInitialize\r
+\r
+[Sources.common]\r
+ DebugSupport.c\r
+\r
+[Packages]\r
+ MdePkg/MdePkg.dec\r
+ EmbeddedePkg/EmbeddedePkg.dec\r
+\r
+[LibraryClasses]\r
+ BaseMemoryLib\r
+ CacheMaintenanceLib\r
+ UefiDriverEntryPoint\r
+ ArmLib\r
+\r
+[Protocols]\r
+ gEfiCpuArchProtocolGuid\r
+ gEfiDebugSupportProtocolGuid\r
+ gTimerDebugSupportProtocolGuid\r
+ \r