/* SPDX-License-Identifier: copyleft-next-0.3.1 */
/* Copyright 2021 - 2022, Kim Kuparinen < kimi.h.kuparinen@gmail.com > */

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