Loading files
This file is pinned to the selected release. Download the original to open it in your design tool.
# Copyright (c) 2020 Olof Kindgren <olof.kindgren@gmail.com>
# SPDX-License-Identifier: Apache-2.0
config SERV_TIMER
bool "SERV Timer"
select TICKLESS_CAPABLE
help
This module implements a kernel device driver for the SERV
timer driver. It provides the standard "system clock driver" interfaces.
f200eb2edThis file is pinned to the selected release. Download the original to open it in your design tool.