Kconfig 753 B

123456789101112131415161718192021222324252627282930313233343536373839404142434445
  1. # SPDX-License-Identifier: BSD-2-Clause
  2. menu "SBI Extension Support"
  3. config SBI_ECALL_TIME
  4. bool "Timer extension"
  5. default y
  6. config SBI_ECALL_RFENCE
  7. bool "RFENCE extension"
  8. default y
  9. config SBI_ECALL_IPI
  10. bool "IPI extension"
  11. default y
  12. config SBI_ECALL_HSM
  13. bool "Hart State Management extension"
  14. default y
  15. config SBI_ECALL_SRST
  16. bool "System Reset extension"
  17. default y
  18. config SBI_ECALL_SUSP
  19. bool "System Suspend extension"
  20. default y
  21. config SBI_ECALL_PMU
  22. bool "Performance Monitoring Unit extension"
  23. default y
  24. config SBI_ECALL_DBCN
  25. bool "Debug Console extension"
  26. default y
  27. config SBI_ECALL_LEGACY
  28. bool "SBI v0.1 legacy extensions"
  29. default y
  30. config SBI_ECALL_VENDOR
  31. bool "Platform-defined vendor extensions"
  32. default y
  33. endmenu