zephyr/drivers/timer/Kconfig.mcux_os

# Copyright (c) 2014-2015 Wind River Systems, Inc.
# Copyright (c) 2016 Cadence Design Systems, Inc.
# Copyright (c) 2019 Intel Corp.
# SPDX-License-Identifier: Apache-2.0

config MCUX_OS_TIMER
	bool "MCUX OS Event timer"
	default y
	depends on DT_HAS_NXP_OS_TIMER_ENABLED
	select TICKLESS_CAPABLE
	help
	  This module implements a kernel device driver for the NXP OS
	  event timer and provides the standard "system clock driver" interfaces.
drivers: timer: split Kconfig Split Kconfig into individual files for each driver. This improves overall readability of the Kconfig options. Signed-off-by: Gerard Marull-Paretas <gerard.marull@nordicsemi.no> 2021-11-04 14:14:51 +01:00			`# Copyright (c) 2014-2015 Wind River Systems, Inc.`
			`# Copyright (c) 2016 Cadence Design Systems, Inc.`
			`# Copyright (c) 2019 Intel Corp.`
			`# SPDX-License-Identifier: Apache-2.0`

			`config MCUX_OS_TIMER`
			`bool "MCUX OS Event timer"`
drivers: timer: Update drivers to use devicetree Kconfig symbol Update timer drivers to use DT_HAS_<compat>_ENABLED Kconfig symbol to expose the driver and enable it by default based on devicetree. We remove 'depend on' Kconfig for symbols that would be implied by the devicetree node existing. Signed-off-by: Kumar Gala <galak@kernel.org> 2022-09-06 17:28:25 +02:00			`default y`
			`depends on DT_HAS_NXP_OS_TIMER_ENABLED`
drivers: timer: split Kconfig Split Kconfig into individual files for each driver. This improves overall readability of the Kconfig options. Signed-off-by: Gerard Marull-Paretas <gerard.marull@nordicsemi.no> 2021-11-04 14:14:51 +01:00			`select TICKLESS_CAPABLE`
			`help`
			`This module implements a kernel device driver for the NXP OS`
			`event timer and provides the standard "system clock driver" interfaces.`