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