# $FreeBSD$
kern/kern_clocksource.c			standard

arm/arm/bus_space_asm_generic.S		standard
arm/arm/bus_space_generic.c		standard

arm/arm/gic.c				standard
arm/arm/mpcore_timer.c			standard

arm/arm/bus_space_base.c		standard
arm/rockchip/rk30xx_common.c		standard
arm/rockchip/rk30xx_machdep.c		standard
arm/rockchip/rk30xx_pmu.c		standard
arm/rockchip/rk30xx_grf.c		standard
arm/rockchip/rk30xx_wdog.c		standard
arm/rockchip/rk30xx_gpio.c		optional	gpio
arm/rockchip/rk30xx_mp.c		optional	smp

dev/mmc/host/dwmmc.c			optional	dwmmc