Will, On Tue, 18 Aug 2009, Will Schmidt wrote: > > Booting the system seems mostly OK with maxcpus=1, though this INFO > message appears on the console. (This does repeat after a while..) : > > INFO: task irq/16-IPI:3 blocked for more than 120 seconds. Hmm. Why is the IPI threaded ? Can you check older (working) RT versions whether the IPIs were threaded there as well ? Thanks, tglx -- 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