#ifndef APOS_RISCV_TIMER_H
#define APOS_RISCV_TIMER_H
/**
 * @file timer.h
 * riscv64 timer header, currently empty but kept around for forwards
 * compatibility.
 */
#endif /* APOS_RISCV_TIMER_H */