# 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.