# $FreeBSD$
kern/kern_clocksource.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