| # Copyright (c) 2021 Antony Pavlov <antonynpavlov@gmail.com> | |
| # | |
| # SPDX-License-Identifier: Apache-2.0 | |
| config MIPS_CP0_TIMER | |
| bool "MIPS CP0 Timer" | |
| depends on MIPS | |
| select TICKLESS_CAPABLE | |
| help | |
| This module implements a kernel device driver for the MIPS CP0 timer. |