ARM: rename CONFIG_TIMER_CLK_FREQ to COUNTER_FREQUENCY
[platform/kernel/u-boot.git] / board / technexion /
drwxr-xr-x   ..
drwxr-xr-x - pico-imx6ul
drwxr-xr-x - tao3530
drwxr-xr-x - twister