On 06/06/2016 07:45 PM, David Hauck wrote: > Hi Sebastian, Hi, > Thx, here's one - hope this might be helpful: > > [ 1.352165] BUG: unable to handle kernel > [ 1.352167] paging request > [ 1.352169] at a93c2560 > [ 1.352172] IP: > [ 1.352178] [<c107c248>] can_migrate_task+0x58/0x220 > [ 1.352182] *pde = 00000000 most of it should be one line. this comes down to if (!cpumask_test_cpu(env->dst_cpu, tsk_cpus_allowed(p))) { in can_migrate_task() and the crash happens because the pointer returned in tsk_cpus_allowed() is invalid. Currently nothing rings a bell. > Great, thx, we'll get started on this this week. okay. > > Thanks again, > -David Sebastian -- To unsubscribe from this list: send the line "unsubscribe linux-rt-users" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html