#include <cyg/hal/hal_intr.h> // Interrupt names
#include <cyg/hal/hal_cache.h>
#include <cyg/hal/hal_soc.h> // Hardware definitions
-#include <cyg/hal/karo_tx25.h> // Platform specifics
+#include CYGBLD_HAL_PLF_DEFS_H // Platform specifics
#include <cyg/infra/diag.h> // diag_printf