#ifndef __USER_RTC_H_
#define __USER_RTC_H_


#include "mico.h"
#include "MiCOKit_EXT.h"


extern OSStatus user_rtc_init(void);


#endif