On Sun, Jun 13, 2010 at 7:26 AM, Philippe Anel <x...@bouyapop.org> wrote: > In fact you're right, and this shows us this would only happens to 9vx. > Indeed, the proc is a kproc and thus is not scheduled by the 9vx/a/proc.c > scheduler, > but by the one in 9vx/sched.c ... where dequeueproc() is not called and > where p->mach > is not checked.
So is changing 9vx/sched.c to do these two steps the real fix? ron
