1 #ifndef __BOARD_SPECIFIC_H__ 2 #define __BOARD_SPECIFIC_H__ 3 4 /* Initialisation functions. */ 5 6 void gpio_init2(void); 7 void cpm_init(void); 8 void rtc_init(void); 9 void timer_init(void); 10 int is_started(void); 11 12 #endif /* __BOARD_SPECIFIC_H__ */