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 /init/Makefile | |
| 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 'init/Makefile')
0 files changed, 0 insertions, 0 deletions