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

include v7-A15/v7-A15.scc

patch arm-ARM-EABI-socketcall.patch