[PDK-9611] Correct sysbios device name for AWR294x

Use correct name for device name in sysbios pltform
config so that correct cpu freq and base address
are picked for AWR294x. currently TPR12 addresses
are picked

Signed-off-by: Badri S <badri@ti.com>

diff --git a/packages/ti/build/makerules/platform.mk b/packages/ti/build/makerules/platform.mk
index 01e25697765aea5d23512503503b9df2d8ff2927..b4fa5833a1f0e04a8d1ed2322641867616776e3a 100644 (file)
--- a/packages/ti/build/makerules/platform.mk
+++ b/packages/ti/build/makerules/platform.mk
@@ -504,7 +504,7 @@ ifeq ($(ISA),r5f)
 
   ifeq ($(SOC),$(filter $(SOC), awr294x))
     # Use the platform define from TI RTOS but do not use the default linker command file (false)
-    PLATFORM_XDC = "ti.platforms.cortexR:TPR12:0"
+    PLATFORM_XDC = "ti.platforms.cortexR:AWR29XX:0"
   endif
 
   # If ENDIAN is set to "big", set ENDIAN_EXT to "e", that would be used in
@@ -747,7 +747,7 @@ ifeq ($(ISA),c66)
     endif
 
     ifeq ($(SOC),$(filter $(SOC), awr294x))
-      PLATFORM_XDC = "ti.platforms.c6x:TPR12"
+      PLATFORM_XDC = "ti.platforms.c6x:AWR29XX"
     endif
 
   endif