Tim, On Thu, 25 Apr 2013, Tim Sander wrote: > handler. But normally the HR_TIMER is set. So we switched it off on this very > purpose. As we also have also PREEMPT_RT_FULL set the proposed solution to > allow only PREEMPT_RT_FULL with PREEMPT_RT_FULL set is not an option for us. -ENOPARSE -- 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
