static inline void main_init( void ) { hw_init(); sys_time_init(); main_init_tacho(); int_enable(); }
static inline void main_init( void ) { mcu_init(); sys_time_register_timer(1./PERIODIC_FREQUENCY, NULL); main_init_tacho(); mcu_int_enable(); }