[PATCH] tcb_clksrc: Use 32 bit tcb as sched_clock

[Daniel Lezcano]

On Wed, Jan 11, 2017 at 02:50:59PM +0100, David Engraf wrote:
> On newer boards the TC can be read as single 32 bit value without locking.
> Thus the clock can be used as reference for sched_clock which is much more
> accurate than the jiffies implementation.
> 
> Tested on a Atmel SAMA5D2 board.
> 
> Signed-off-by: David Engraf <david.engraf at sysgo.com>
> ---

Nicolas,

if you agree I will take this change.

  -- Daniel