#include <cyg/hal/drv_api.h> // driver API
#include <cyg/hal/hal_misc.h> // Helper functions
#include <cyg/hal/hal_soc.h> // Hardware definitions
-#include <cyg/hal/karo_tx37.h> // Platform specifics
+#include CYGBLD_HAL_PLF_DEFS_H // Platform specifics
extern void cyg_hal_plf_serial_init(void);