# 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_PMU bool "Performance Monitoring Unit 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