tree 2c33f6c8239e051cc53ae36bc64a0bc02e29c21f
parent 36170c5faf3c1404e36d1e96858732380d4db6c9
author Aurelien Jarno <aurelien@aurel32.net> 1252967441 +0200
committer Aurelien Jarno <aurelien@aurel32.net> 1252968780 +0200

Fix Linux task preemption on Versatile board

Backport from master:

  Recent versions of the Linux kernel will not preempt CPU-intensive
  tasks unless the clock used by sched_clock() works.  On -M versatilepb
  that's the 24MHz timer in the system controller.  It's a very simple
  timer, so implement it.

Signed-off-by: Daniel Jacobowitz <dan@codesourcery.com>
Signed-off-by: Aurelien Jarno <aurelien@aurel32.net>