On Tue, Nov 13, 2012 at 04:06:48PM -0800, Paul E. McKenney wrote: > On Wed, Nov 14, 2012 at 12:32:36AM +0100, Tim Sander wrote: > > Hi Paul > > > > Sorry english somehow i tried to shoehorn more than one sentence into one > > sentence in the last mail. > > > OK, how much memory does your device have? > > It's 128Mb of memory. > > That is a bit on the smaller side. But still quite large compared > to the 15K difference between CONFIG_TREE_PREEMPT_RCU and > CONFIG_TINY_PREEMPT_RCU. I'd also expect CONFIG_TINY_PREEMPT_RCU to have marginally more performance on a UP system, but probably not enough to matter. - Josh Triplett -- 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
