#include CYGBLD_HAL_PLATFORM_H // Platform specific configuration
#include <cyg/hal/hal_soc.h> // Variant specific hardware definitions
#include <cyg/hal/hal_mmu.h> // MMU definitions
-#include <cyg/hal/karo_tx25.h> // Platform specific hardware definitions
+#include CYGBLD_HAL_PLF_DEFS_H // Platform specific hardware definitions
#include CYGHWR_MEMORY_LAYOUT_H
#if defined(CYG_HAL_STARTUP_ROM) || defined(CYG_HAL_STARTUP_ROMRAM)