RTC support.

[pintos-anon] / src / devices / rtc.h

diff --git a/src/devices/rtc.h b/src/devices/rtc.h
new file mode 100644 (file)
index 0000000..96a822f
--- /dev/null
+++ b/src/devices/rtc.h
@@ -0,0 +1,8 @@
+#ifndef RTC_H
+#define RTC_H
+
+typedef unsigned long time_t;
+
+time_t rtc_get_time (void);
+
+#endif