# $FreeBSD$

arm/arm/generic_timer.c				standard

arm/broadcom/bcm2835/bcm2836.c			standard
arm/broadcom/bcm2835/bcm2836_mp.c		optional smp