On 24 July 2013 14:47, Viresh Kumar <viresh.kumar@xxxxxxxxxx> wrote: > On 18 June 2013 10:21, Viresh Kumar <viresh.kumar@xxxxxxxxxx> wrote: > Hi Thomas, > > Do you still see some light of hope in this patch :) ? Ping!! -- 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