RedBoot Release TX53-v3 2012-02-08

[karo-tx-redboot.git] / packages / hal / arm / mx51 / karo / v1_0 / src / redboot_cmds.c

diff --git a/packages/hal/arm/mx51/karo/v1_0/src/redboot_cmds.c b/packages/hal/arm/mx51/karo/v1_0/src/redboot_cmds.c
index 535ba599f6e0464a746cfecbf9f1474a22745174..0372649beec30ce1f29da2cff72a3f2731b543f6 100644 (file)
--- a/packages/hal/arm/mx51/karo/v1_0/src/redboot_cmds.c
+++ b/packages/hal/arm/mx51/karo/v1_0/src/redboot_cmds.c
@@ -42,7 +42,7 @@
 #include <cyg/hal/hal_intr.h>
 #include <cyg/hal/hal_cache.h>
 #include <cyg/hal/plf_mmap.h>
-#include <cyg/hal/karo_tx51.h>         // Platform specific hardware definitions
+#include CYGBLD_HAL_PLF_DEFS_H         // Platform specific hardware definitions
 
 #ifdef CYGSEM_REDBOOT_FLASH_CONFIG
 #include <flash_config.h>