rockchip: rk3128: use ARM arch timer instead of rk_timer
[platform/kernel/u-boot.git] / arch / sh /
drwxr-xr-x   ..
-rw-r--r-- 1178 Kconfig
-rw-r--r-- 121 Makefile
-rw-r--r-- 406 config.mk
drwxr-xr-x - cpu
drwxr-xr-x - include
drwxr-xr-x - lib