On 11/01/2017 14:50, David Engraf wrote: > Subject: [PATCH] tcb_clksrc: Use 32 bit tcb as sched_clock I was puzzled by the TCB acronym :-) Trusted Computing Base Task Control Block Transfer Control Block Test Control Board In fact, it (probably) stands for Timer Counter Block, which makes sense for a clksrc patch. Regards.