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

[Tony Lindgren]

* Tony Lindgren <tony at atomide.com> [111212 16:46]:
> * Marc Zyngier <marc.zyngier at arm.com> [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 <tony at atomide.com>