1# $FreeBSD$ 2kern/kern_clocksource.c standard 3 4arm/rockchip/rk30xx_common.c standard 5arm/rockchip/rk30xx_machdep.c standard 6arm/rockchip/rk30xx_pmu.c standard 7arm/rockchip/rk30xx_grf.c standard 8arm/rockchip/rk30xx_wdog.c standard 9arm/rockchip/rk30xx_gpio.c optional gpio 10arm/rockchip/rk30xx_mp.c optional smp 11 12dev/mmc/host/dwmmc.c optional dwmmc 13