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