On Fri, 2013-04-26 at 00:20 +0200, Thomas Gleixner wrote: > 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 I think he made a typo and was referring to my post. I think he meant that they require not having high res timers set when PREEMPT_RT_FULL is set. As you stated to me before. -- Steve -- 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
