tree 1580334ffcd321d7a06f20082b4598acf93fb325
parent fad8c772ef4acda9d35a4c626aa869330e3b3659
author Daniel Jacobowitz <drow@false.org> 1252850081 -0400
committer Aurelien Jarno <aurelien@aurel32.net> 1252919810 +0200

Fix Linux task preemption on Versatile board

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>