ARM: rename CONFIG_TIMER_CLK_FREQ to COUNTER_FREQUENCY
[platform/kernel/u-boot.git] / examples /
drwxr-xr-x   ..
-rw-r--r-- 193 Makefile
drwxr-xr-x - api
drwxr-xr-x - standalone