blob: 88b048b85c3990bd25c81d655f643ec68942bac8 [file] [log] [blame]
# 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.