| # 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 LEON_GPTIMER | |
| bool "LEON timer" | |
| default y | |
| depends on DT_HAS_GAISLER_GPTIMER_ENABLED | |
| select DYNAMIC_INTERRUPTS | |
| help | |
| This module implements a kernel device driver for the GRLIB | |
| GPTIMER which is common in LEON systems. |