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