Resubmitted with the (incorrect) workaround for rcu_sched stalls removed, since the problem was found in the interrupt controller driver; a separate patch will be submitted for it.
Rich Felker (2): of: add J-Core timer bindings clocksource: add J-Core timer/clocksource driver .../devicetree/bindings/timer/jcore,pit.txt | 24 +++ drivers/clocksource/Kconfig | 10 + drivers/clocksource/Makefile | 1 + drivers/clocksource/jcore-pit.c | 231 +++++++++++++++++++++ include/linux/cpuhotplug.h | 1 + 5 files changed, 267 insertions(+) create mode 100644 Documentation/devicetree/bindings/timer/jcore,pit.txt create mode 100644 drivers/clocksource/jcore-pit.c -- 2.10.0
