#ifndef OS_CLOCK_H
#define OS_CLOCK_H

extern void Ostick_config(void);
#endif