On 11/01/2017 14:50, David Engraf wrote:> Subject: [PATCH] tcb_clksrc: Use 32 bit tcb as sched_clockI was puzzled by the TCB acronym :-)Trusted Computing BaseTask Control BlockTransfer Control BlockTest Control BoardIn fact, it (probably) stands for Timer Counter Block, which makessense for a clksrc patch.Regards.