Subject: [PATCH v4] ARM: sched_clock: allow sched_clock to be selected at runtime

From: [email-masked] (Tony Lindgren)
Date: Mon, 12 Dec 2011 16:50:18 -0800

* Tony Lindgren <[email-masked]> [111212 16:46]:
> * Marc Zyngier <[email-masked]> [111212 08:33]:
> > 
> > Queued as patch 7205/1.
> > 
> > 	M.
> 
> Great, seems to boot fine on all omaps I tried, will go ack it
> in the patch system.

Hmm I guess you can't comment patches there, so:

Tested-by: Tony Lindgren <[email-masked]>