2022-10-11 00:34:45 +08:00
|
|
|
# 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
|
|
|
|
|
2023-02-27 11:31:02 +01:00
|
|
|
config SBI_ECALL_SUSP
|
|
|
|
bool "System Suspend extension"
|
|
|
|
default y
|
|
|
|
|
2022-10-11 00:34:45 +08:00
|
|
|
config SBI_ECALL_PMU
|
|
|
|
bool "Performance Monitoring Unit extension"
|
|
|
|
default y
|
|
|
|
|
2022-11-23 11:11:43 +05:30
|
|
|
config SBI_ECALL_DBCN
|
|
|
|
bool "Debug Console extension"
|
|
|
|
default y
|
|
|
|
|
2023-03-29 14:27:26 +05:30
|
|
|
config SBI_ECALL_CPPC
|
|
|
|
bool "CPPC extension"
|
|
|
|
default y
|
|
|
|
|
2022-10-11 00:34:45 +08:00
|
|
|
config SBI_ECALL_LEGACY
|
|
|
|
bool "SBI v0.1 legacy extensions"
|
|
|
|
default y
|
|
|
|
|
|
|
|
config SBI_ECALL_VENDOR
|
|
|
|
bool "Platform-defined vendor extensions"
|
|
|
|
default y
|
|
|
|
|
2024-01-09 22:30:19 +05:30
|
|
|
config SBI_ECALL_DBTR
|
|
|
|
bool "Debug Trigger Extension"
|
|
|
|
default y
|
|
|
|
|
2024-03-04 21:45:49 +00:00
|
|
|
config SBIUNIT
|
|
|
|
bool "Enable SBIUNIT tests"
|
|
|
|
default n
|
|
|
|
|
2024-03-21 16:57:17 +01:00
|
|
|
config SBI_ECALL_SSE
|
|
|
|
bool "SSE extension"
|
|
|
|
default y
|
|
|
|
|
2022-10-11 00:34:45 +08:00
|
|
|
endmenu
|