123456789101112131415161718192021222324252627282930313233343536373839404142434445 |
- # SPDX-License-Identifier: BSD-2-Clause
- menu "SBI Extension Support"
- config SBI_ECALL_TIME
- bool "Timer extension"
- default y
- config SBI_ECALL_RFENCE
- bool "RFENCE extension"
- default y
- config SBI_ECALL_IPI
- bool "IPI extension"
- default y
- config SBI_ECALL_HSM
- bool "Hart State Management extension"
- default y
- config SBI_ECALL_SRST
- bool "System Reset extension"
- default y
- config SBI_ECALL_SUSP
- bool "System Suspend extension"
- default y
- config SBI_ECALL_PMU
- bool "Performance Monitoring Unit extension"
- default y
- config SBI_ECALL_DBCN
- bool "Debug Console extension"
- default y
- config SBI_ECALL_LEGACY
- bool "SBI v0.1 legacy extensions"
- default y
- config SBI_ECALL_VENDOR
- bool "Platform-defined vendor extensions"
- default y
- endmenu
|