1# Copyright (c) 2021 Antony Pavlov <antonynpavlov@gmail.com>
2#
3# SPDX-License-Identifier: Apache-2.0
4
5config MIPS_CP0_TIMER
6	bool "MIPS CP0 Timer"
7	depends on MIPS
8	select TICKLESS_CAPABLE
9	help
10	  This module implements a kernel device driver for the MIPS CP0 timer.
11