commit f26721bdb281887b6cf55453e5d01fc0c0385036
author Clément Léger <clement.leger@bootlin.com> Thu Mar 31 10:55:10 2022 +0200
committer Eugen Hristev <eugen.hristev@microchip.com> Fri Apr 01 15:42:47 2022 +0300
tree f54d45ef3eedd19591d6b0c8ccaf875a74790b86
parent e4debf05e35f73386b7ca90d36e88de69a8df7f4

configs: sama5d2: enable option CONFIG_ATMEL_TCB_TIMER

Enable CONFIG_ATMEL_TCB_TIMER and disable CONFIG_ATMEL_PIT_TIMER.
This will allow using the TCB timer instead of the PIT one when running
under OP-TEE.

Reviewed-by: Claudiu Beznea <claudiu.beznea@microchip.com>
Signed-off-by: Clément Léger <clement.leger@bootlin.com>

configs/sama5d2_ptc_ek_mmc_defconfig

diff --git a/configs/sama5d2_ptc_ek_mmc_defconfig b/configs/sama5d2_ptc_ek_mmc_defconfig
index 609e202c..1c5d750 100644
--- a/configs/sama5d2_ptc_ek_mmc_defconfig
+++ b/configs/sama5d2_ptc_ek_mmc_defconfig
@@ -71,7 +71,7 @@
 CONFIG_DEBUG_UART_ANNOUNCE=y
 CONFIG_ATMEL_USART=y
 CONFIG_TIMER=y
-CONFIG_ATMEL_PIT_TIMER=y
+CONFIG_ATMEL_TCB_TIMER=y
 CONFIG_USB=y
 CONFIG_USB_EHCI_HCD=y
 CONFIG_USB_STORAGE=y