#ifdef CONFIG_SYS_TIMER_0
extern int timer_init (void);
#endif
-
+#ifdef CONFIG_SYS_FSL_2
+extern void fsl_init2 (void);
+#endif
/*
* All attempts to come up with a "common" initialization sequence
#endif
#ifdef CONFIG_SYS_TIMER_0
timer_init,
+#endif
+#ifdef CONFIG_SYS_FSL_2
+ fsl_init2,
#endif
NULL,
};