EmbeddedEtcher
system_timer.h
1 /*
2  * system_timer.h
3  *
4  * Created on: Dec 6, 2017
5  * Author: maximilian
6  */
7 
8 #ifndef PLATFORM_SYSTEM_TIMER_H_
9 #define PLATFORM_SYSTEM_TIMER_H_
10 
11 void initAliveLED(void);
12 void toggleAliveLED(void);
13 void initClock(void);
14 
15 #endif /* PLATFORM_SYSTEM_TIMER_H_ */