ARM: rename CONFIG_TIMER_CLK_FREQ to COUNTER_FREQUENCY
[platform/kernel/u-boot.git] / board / cm-bf533 /
drwxr-xr-x   ..
-rw-r--r-- 108 Kconfig
-rw-r--r-- 182 MAINTAINERS
-rw-r--r-- 214 Makefile
-rw-r--r-- 454 cm-bf533.c
-rw-r--r-- 262 config.mk