Re: [ANNOUNCE] 3.4.41-rt55-feat1

From: Steven Rostedt
Date: Thu Apr 25 2013 - 08:52:40 EST

On Thu, 2013-04-25 at 14:48 +0200, Mike Galbraith wrote:
> > Perhaps the better solution is to select HIGH_RES_TIMERS when
> > PREEMPT_RT_FULL is selected?
> If they have support, most definitely. I got the impression lots of ARM
> boxen are impoverished.. why else would they not have it already set?

Fair enough.

-- Steve

To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to majordomo@xxxxxxxxxxxxxxx
More majordomo info at
Please read the FAQ at