Hi Sebastian,
Was this with or without the ctor patch I mentioned?
I was still without the reverted patch.
In that case I ignore this report unless you manage (or not) to
reproduce it without the patch.
since I have reverted the patch the BUG has not occurred anymore.
Even if this is not a proof that this was the reason, it improved the
stability.
Regards
Mathias
--
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
