clocksource: dw_apb_timer_of: select DW_APB_TIMER
authorHeiko Stuebner <heiko@sntech.de>
Tue, 4 Jun 2013 09:38:11 +0000 (11:38 +0200)
committerHeiko Stuebner <heiko@sntech.de>
Wed, 12 Jun 2013 11:47:30 +0000 (13:47 +0200)
commit1b4eca0f634be2a99f2baa6c29dfd183590ead3f
treec8fba1dcd5a761bfe4e5fc6206ecc0ca7f11c987
parenta8b447f2bbbba737ff4478f498d7f83c75a9461b
clocksource: dw_apb_timer_of: select DW_APB_TIMER

dw_apb_timer_of is the driver part facing devicetree platforms and
calls into dw_apb_timer with the data gathered from the dt.

Currently the two platforms using the dw_apb_timer_of select both
the options for the core timer and the dt addon.

As dw_apb_timer_of always depends on dw_apb_timer let it select
DW_APB_TIMER itself without the need for every platform to do it.

Signed-off-by: Heiko Stuebner <heiko@sntech.de>
Acked-by: Jamie Iles <jamie@jamieiles.com>
Acked-by: Dinh Nguyen <dinguyen@altera.com>
arch/arm/mach-picoxcell/Kconfig
arch/arm/mach-socfpga/Kconfig
drivers/clocksource/Kconfig