| # 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_CPPC |
| bool "CPPC 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 |
