Andrew Turner ace157c3a9 Use the new gic option on all configs that need it.		2015-05-10 12:13:27 +00:00
..
files.rk30xx
rk30xx_common.c
rk30xx_gpio.c
rk30xx_grf.c
rk30xx_grf.h
rk30xx_machdep.c
rk30xx_mp.c
rk30xx_pmu.c
rk30xx_pmu.h
rk30xx_wdog.c
rk30xx_wdog.h
std.rk30xx