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. Thanx, Paul -- 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
