# 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
patch vexpress-Pass-LOADADDR-to-Makefile.patch
patch arm-Makefile-Fix-systemtap.patch