tree 2440b4b4b510393ff057761021e9b218a5e1e142
parent 06ecc190f3928850cb77c498f745fc8e9a7e2fd7
author Philippe Gerum <rpm@xenomai.org> 1245122742 +0200
committer Mike Frysinger <vapier@gentoo.org> 1245719754 -0400

Blackfin: allow CONFIG_TICKSOURCE_GPTMR0 with interrupt pipeline

Signed-off-by: Philippe Gerum <rpm@xenomai.org>
Signed-off-by: Mike Frysinger <vapier@gentoo.org>