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