kern

view src/rtc.h @ 57:437360696883

I think we're done for now. two processes seem to be scheduled and switched just fine, fork seems to work (NO CoW YET!)
author John Tsiombikas <nuclear@member.fsf.org>
date Tue, 16 Aug 2011 03:26:53 +0300
parents 2c401f69128e
children
line source
1 #ifndef _RTC_H_
2 #define _RTC_H_
4 #include <time.h>
6 /* the time read from rtc during init */
7 time_t start_time;
9 void init_rtc(void);
11 #endif /* _RTC_H_ */