ARM: rename CONFIG_TIMER_CLK_FREQ to COUNTER_FREQUENCY
[platform/kernel/u-boot.git] / board / ms7720se /
drwxr-xr-x   ..
-rw-r--r-- 108 Kconfig
-rw-r--r-- 164 MAINTAINERS
-rw-r--r-- 306 Makefile
-rw-r--r-- 3532 lowlevel_init.S
-rw-r--r-- 564 ms7720se.c