1# Kconfig Andes ATCPIT100 configuration option
2#
3# Copyright (c) 2022 Andes Technology Corporation.
4#
5# SPDX-License-Identifier: Apache-2.0
6
7config COUNTER_ANDES_ATCPIT100
8	bool "Andes ATCPIT100 PIT driver"
9	default y
10	depends on DT_HAS_ANDESTECH_ATCPIT100_ENABLED
11	help
12	  Enable driver for the Andes ATCPIT100 PIT controller.
13