| commit | 60bdb9c7bd9ab5b63ad68e9391056f8757b810f1 | [log] [tgz] |
|---|---|---|
| author | Paul Burton <paul.burton@imgtec.com> | Wed Mar 05 11:41:47 2014 +0000 |
| committer | Paul Burton <paul.burton@imgtec.com> | Fri May 02 16:39:12 2014 +0100 |
| tree | 952c0243845c2660d24ffc8a23ab0b88cbf65b4d | |
| parent | d8107efd8a3c15ec5885dbe1d3168e26c6b3e2e4 [diff] |
MIPS: allow R4K clockevent device to function regardless of GIC Having the GIC clockevent driver compiled should not prevent the R4K timer clockevent driver from functioning. One will be selected as the CPU local timer based upon their priorities and the other may simply be unused or in the case of the GIC timer may be used as the tick broadcast device. Signed-off-by: Paul Burton <paul.burton@imgtec.com>