Re: BUG: at kernel/sched.c:4031 __schedule()
From: Daniel Walker <hidden>
Date: 2007-06-07 16:23:08
On Thu, 2007-06-07 at 12:13 -0400, Steven Rostedt wrote:
What arch is innovator1510 (OMAP5910 cpu) anyway?
It's an ARM .
/me has been away from embedded systems for some time.
The "fix" went into -rt6 , then was dropped in -rt7 .. I guess a better fix is being working on, not sure.. Daniel