1 2 3 4 5 6
if [ "$KARCH" = "microblaze" ]; then kconf hardware microblaze.cfg include cfg/timer/hz_100.scc fi