On 2017-09-05 11:17, Sebastian Andrzej Siewior wrote: > On 2017-08-23 19:04:20 [+0200], Jacek Konieczny wrote: >> I have applied the patch, no crash since then, but I got another problem >> detected: > I'm sorry, I missed that. No problem. I was away on my holidays anyway. > What about this on-top? That would not apply on top of my previous source, but I took patch-4.11.12-rt13.patch and applied over that. I should have some results in a few days. Jacek -- 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
