#define INTERNAL_1KHz 0

extern void isr_rtc(void);
extern void rtc_init(void);