# Xilinx AXI Timer # Copyright (c) 2020 Henrik Brix Andersen # SPDX-License-Identifier: Apache-2.0 config PWM_XLNX_AXI_TIMER bool "Xilinx AXI Timer driver" help Enable PWM support for the Xilinx AXI Timer v2.0 IP.