ARM: rename CONFIG_TIMER_CLK_FREQ to COUNTER_FREQUENCY
[platform/kernel/u-boot.git] / board / samsung /
drwxr-xr-x   ..
drwxr-xr-x - arndale
drwxr-xr-x - common
drwxr-xr-x - espresso7420
drwxr-xr-x - goni
drwxr-xr-x - odroid
drwxr-xr-x - origen
drwxr-xr-x - smdk5250
drwxr-xr-x - smdk5420
drwxr-xr-x - smdkc100
drwxr-xr-x - smdkv310
drwxr-xr-x - trats
drwxr-xr-x - trats2
drwxr-xr-x - universal_c210