# SPDX-License-Identifier: MIT
if [ "$KARCH" = "riscv" ]; then
	kconf hardware riscv.cfg
	include cfg/timer/hz_100.scc
fi