I just copy-pasted microseconds_since_boot and set_interrupt_interval_usec from aarch64. However, on RISC-V, they are not in microseconds. The TimerRegisters struct is also unused. current_time and set_compare can also be private and static.
_SC_GETGR_R_SIZE_MAX
TimeManagement
ConsoleDevice