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.
---
Changes in v2: - Reworked driver to use existing Linux bindings
Clément Léger (3): timer: atmel_tcb_timer: add atmel_tcb driver dts: sama5d2: add TCB node configs: sama5d2: enable option CONFIG_ATMEL_TCB_TIMER
MAINTAINERS | 1 + arch/arm/dts/sama5d2.dtsi | 15 ++ configs/sama5d2_icp_mmc_defconfig | 1 + configs/sama5d2_ptc_ek_mmc_defconfig | 1 + configs/sama5d2_ptc_ek_nandflash_defconfig | 1 + configs/sama5d2_xplained_emmc_defconfig | 1 + configs/sama5d2_xplained_mmc_defconfig | 1 + configs/sama5d2_xplained_qspiflash_defconfig | 1 + configs/sama5d2_xplained_spiflash_defconfig | 1 + drivers/timer/Kconfig | 7 + drivers/timer/Makefile | 1 + drivers/timer/atmel_tcb_timer.c | 160 +++++++++++++++++++ 12 files changed, 191 insertions(+) create mode 100644 drivers/timer/atmel_tcb_timer.c