Re: BUG: at kernel/sched.c:4031 __schedule()

Hi,

quoted

in prepare_task_switch(rq, next); interrupts are enabled,

That's a bug.  __schedule should not have interrupts enabled.
What's the back trace of this?

I've also seen this in the past. Interrupts are enabled in
prepare_lock_switch because ARM defines __ARCH_WANT_INTERRUPTS_ON_CTXSW.

IIRC Thomas fixed this for the current -rt release.

Cheers,
	Jan