Kconfig 328 B

1234567891011121314151617181920212223
  1. # SPDX-License-Identifier: BSD-2-Clause
  2. menu "Timer Device Support"
  3. config FDT_TIMER
  4. bool "FDT based timer drivers"
  5. depends on FDT
  6. default n
  7. if FDT_TIMER
  8. config FDT_TIMER_MTIMER
  9. bool "ACLINT MTIMER FDT driver"
  10. select TIMER_MTIMER
  11. default n
  12. endif
  13. config TIMER_MTIMER
  14. bool "ACLINT MTIMER support"
  15. default n
  16. endmenu