# patches are for everyone, but the kconfig data is just for MIPS builds.
if [ "$KARCH" = "mips" ]; then
	kconf hardware mips.cfg
	include cfg/timer/hz_100.scc
fi

patch malta-uhci-quirks-make-allowance-for-slow-4k-e-c.patch
patch 4kc-cache-tlb-hazard-tlbp-cache-coherency.patch
patch mips-support-preemptible-kernel.patch