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