+ Steven & Julia On 2017-11-07 12:47:27 [+0300], Pavel V. Panteleev wrote: > Thanks, it works. Okay, good to hear. Steven + Julia: We need to decide what are going to do about this stable-wise. The bug was reported against 3.14.79-rt85 and the devel tree is not affected*. The thread starts at https://www.spinics.net/lists/linux-rt-users/msg17560.html [*] probably since v4.11.5-rt1 once "sched/core: Enable might_sleep() and smp_processor_id() checks early" and its prerequisites appeared in the queue. 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