diff --git a/repos/os/lib/mk/spec/riscv/hw_timer.mk b/repos/os/lib/mk/spec/riscv/hw_timer.mk
new file mode 100644
index 000000000..ba73c4faa
--- /dev/null
+++ b/repos/os/lib/mk/spec/riscv/hw_timer.mk
@@ -0,0 +1,3 @@
+INC_DIR += $(REP_DIR)/src/drivers/timer/spec/hw $(REP_DIR)/src/drivers/timer/spec/hw/spec/riscv
+
+include $(REP_DIR)/lib/mk/timer.inc
diff --git a/repos/os/src/drivers/timer/spec/hw/spec/riscv/platform_timer_base.h b/repos/os/src/drivers/timer/spec/hw/spec/riscv/platform_timer_base.h
new file mode 100644
index 000000000..fd1f09282
--- /dev/null
+++ b/repos/os/src/drivers/timer/spec/hw/spec/riscv/platform_timer_base.h
@@ -0,0 +1,32 @@
+/*
+ * \brief  Dummy platform timer
+ * \author Sebastian Sumpf
+ * \date   2016-02-10
+ */
+
+/*
+ * Copyright (C) 2016 Genode Labs GmbH
+ *
+ * This file is part of the Genode OS framework, which is distributed
+ * under the terms of the GNU General Public License version 2.
+ */
+
+#ifndef _HW__RISCV__PLATFORM_TIMER_BASE_H_
+#define _HW__RISCV__PLATFORM_TIMER_BASE_H_
+
+class Platform_timer_base
+{
+	public:
+
+	enum { IRQ };
+
+	unsigned long tics_to_us(unsigned long const tics) const { return 0; }
+	unsigned long us_to_tics(unsigned long const us)   const { return 0; }
+
+	unsigned long max_value() const { return 0; }
+	unsigned long value(bool & wrapped) const { return 0; }
+
+	void run_and_wrap(unsigned long value) { }
+};
+
+#endif /* _HW__RISCV__PLATFORM_TIMER_BASE_H_ */