1234567891011121314151617181920212223 |
- # SPDX-License-Identifier: BSD-2-Clause
- menu "Timer Device Support"
- config FDT_TIMER
- bool "FDT based timer drivers"
- depends on FDT
- default n
- if FDT_TIMER
- config FDT_TIMER_MTIMER
- bool "ACLINT MTIMER FDT driver"
- select TIMER_MTIMER
- default n
- endif
- config TIMER_MTIMER
- bool "ACLINT MTIMER support"
- default n
- endmenu
|