diff options
author | Philippe Gerum <rpm@xenomai.org> | 2009-06-16 05:25:42 +0200 |
---|---|---|
committer | Mike Frysinger <vapier@gentoo.org> | 2009-06-22 21:15:54 -0400 |
commit | a40494a62a11dbaf326397aa94b2018ead09884d (patch) | |
tree | 2440b4b4b510393ff057761021e9b218a5e1e142 /arch/blackfin/Kconfig | |
parent | 06ecc190f3928850cb77c498f745fc8e9a7e2fd7 (diff) |
Blackfin: allow CONFIG_TICKSOURCE_GPTMR0 with interrupt pipeline
Signed-off-by: Philippe Gerum <rpm@xenomai.org>
Signed-off-by: Mike Frysinger <vapier@gentoo.org>
Diffstat (limited to 'arch/blackfin/Kconfig')
-rw-r--r-- | arch/blackfin/Kconfig | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/arch/blackfin/Kconfig b/arch/blackfin/Kconfig index c2c4a62b6762..8140a2fc8bbd 100644 --- a/arch/blackfin/Kconfig +++ b/arch/blackfin/Kconfig @@ -623,7 +623,6 @@ choice config TICKSOURCE_GPTMR0 bool "Gptimer0 (SCLK domain)" select BFIN_GPTIMERS - depends on !IPIPE config TICKSOURCE_CORETMR bool "Core timer (CCLK domain)" |