1.1 --- a/stage2/board-minipc.h Fri Jun 12 01:38:00 2015 +0200
1.2 +++ b/stage2/board-minipc.h Fri Jun 12 18:02:08 2015 +0200
1.3 @@ -7,5 +7,6 @@
1.4 void cpm_init(void);
1.5 void rtc_init(void);
1.6 int timer_init(void);
1.7 +int is_started(void);
1.8
1.9 #endif /* __BOARD_MINIPC_H__ */