Kconfig 468 B

1234567891011121314151617181920212223242526272829303132
  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. config FDT_TIMER_PLMT
  13. bool "Andes PLMT FDT driver"
  14. select TIMER_PLMT
  15. default n
  16. endif
  17. config TIMER_MTIMER
  18. bool "ACLINT MTIMER support"
  19. default n
  20. config TIMER_PLMT
  21. bool "Andes PLMT support"
  22. default n
  23. endmenu