path: root/arch/riscv/riscv.scc

if [ "$KARCH" = "riscv" ]; then
	kconf hardware riscv.cfg
	include cfg/timer/hz_100.scc
fi