# SPDX-License-Identifier: MIT

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