[PATCH v8 0/5] add TCB driver for sama5d2

[Eugen.Hristev at microchip.com]

On 3/31/22 11:55 AM, Clément Léger wrote:
> When booting under OP-TEE, the SYSC is secured which means the PIT is
> also not accessible by non-secure world. The TCB 0 however is always
> available for non-secure world and thus can be used.
> This series add a TCB driver and enables it in sama5d2 configs.
> 
> ---

Applied to u-boot-at91/next , thanks !