1 files changed, 18 insertions, 0 deletions
diff --git a/arch/riscv64/kernel/timer.c b/arch/riscv64/kernel/timer.c
new file mode 100644
index 0000000..cad811d
--- /dev/null
+++ b/arch/riscv64/kernel/timer.c
@@ -0,0 +1,18 @@
+#include <arch/timer.h>
+
+ticks_t stat_timer()
+{
+	/* TODO: read from fdt */
+	return 0;
+}
+
+void set_timer(ticks_t ticks)
+{
+	/* TODO */
+}
+
+ticks_t current_ticks()
+{
+	/* TODO */
+	return 0;
+}