davinci: timers: use clk_get_rate()
[linux-2.6] / arch / arm / mach-davinci / Kconfig
1 if ARCH_DAVINCI
2
3 menu "TI DaVinci Implementations"
4
5 comment "DaVinci Core Type"
6
7 config ARCH_DAVINCI644x
8         default y
9         bool "DaVinci 644x based system"
10
11 comment "DaVinci Board Type"
12
13 config MACH_DAVINCI_EVM
14         bool "TI DaVinci EVM"
15         default y
16         depends on ARCH_DAVINCI644x
17         help
18           Configure this option to specify the whether the board used
19           for development is a DaVinci EVM
20
21 config DAVINCI_RESET_CLOCKS
22         bool "Reset unused clocks during boot"
23         depends on ARCH_DAVINCI
24         help
25           Say Y if you want to reset unused clocks during boot.
26           This option saves power, but assumes all drivers are
27           using the clock framework. Broken drivers that do not
28           yet use clock framework may not work with this option.
29           If you are booting from another operating system, you
30           probably do not want this option enabled until your
31           device drivers work properly.
32
33 endmenu
34
35 endif