diff --git a/kernel/rtc.h b/kernel/rtc.h
new file mode 100644
index 0000000..b68719f
--- /dev/null
+++ b/kernel/rtc.h
@@ -0,0 +1,18 @@
+/*
+Copyright (C) 2015-2019 The University of Notre Dame
+This software is distributed under the GNU General Public License.
+See the file LICENSE for details.
+*/
+
+#ifndef RTC_H
+#define RTC_H
+
+#include "kernel/types.h"
+
+extern uint32_t boottime;
+
+void rtc_init();
+void rtc_read(struct rtc_time *t);
+uint32_t rtc_time_to_timestamp(struct rtc_time *t);
+
+#endif