| # Copyright (c) 2024 Microchip Technology Inc. |
| # SPDX-License-Identifier: Apache-2.0 |
| |
| config MCHP_MEC5_KTIMER |
| bool "Microchip MEC5 HAL kernel timer" |
| default y |
| depends on DT_HAS_MICROCHIP_MEC5_KTIMER_ENABLED |
| select TICKLESS_CAPABLE |
| select SYSTEM_TIMER_HAS_DISABLE_SUPPORT |
| select ARCH_HAS_CUSTOM_BUSY_WAIT |
| help |
| This module implements a kernel timer device driver for the |
| Microchip MEC5 SoC. It makes use of two hardware timers. |
| The 32-bit 32 KHz based RTOS timer which is operational in |
| full power and deep sleep. Basic timer 5 is a 48 MHz based |
| 32-bit down counter with frequency divider used for the |
| custom busy wait kernel API. |
