[PATCH] ARM: smp: Allow real broadcast device selection instead of always dummy

On Wed, 13 Mar 2013, Santosh Shilimkar wrote:

On Wednesday 13 March 2013 07:49 PM, Thomas Gleixner wrote:

quoted

Though making the rating of the dummy lower is definitely a good
thing, so a real hardware device which is detected later can replace
the dummy device. So yes, the rating should be low for the dummy
timer.

Exactly. As Mark pointed out, you have already applied Mark's patch.
I was just wondering whether you can take the $subject patch as well
with ack from Russell, Mark.

It can go through the ARM tree as well, no dependencies on my stuff.

Thanks,

	tglx