1# GD32 counter timer configuration options 2 3# Copyright (c) 2022 TOKITA Hiroshi <tokita.hiroshi@gmail.com> 4# SPDX-License-Identifier: Apache-2.0 5 6config COUNTER_TIMER_GD32 7 bool "GD32 timer counter driver" 8 default y 9 depends on DT_HAS_GD_GD32_TIMER_ENABLED && !SOC_SERIES_GD32VF103 10 select USE_GD32_TIMER 11 help 12 Enable counter timer driver for GD32 series devices. 13