* Philipp Schrader | 2015-09-03 09:55:46 [-0700]: >> > Does that look reasonable? >> > Or could this cause a problem down the road? >> >> Looks good to me! > >Should I submit a patch for this or is this just a fix for my particular kernel >configuration? I don't yet understand the code well enough to know the answer. Did someone in the meantime sent a patch? It does not look so. If this patch gets re-sent witch a changelog and gets acked by Paul/Steven I don't see a problem why I should not include it. >Thanks, >Philipp 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