#include <cyg/hal/hal_intr.h>
#include <cyg/hal/hal_cache.h>
#include <cyg/hal/plf_mmap.h>
-#include <cyg/hal/karo_tx27.h> // Platform specific hardware definitions
+#include CYGBLD_HAL_PLF_DEFS_H // Platform specific hardware definitions
#ifdef CYGSEM_REDBOOT_FLASH_CONFIG
#include <flash_config.h>