forked from Mirrors/opensbi
33caae8069
Implement SBI CPPC extension. This extension is only available when OpenSBI platform provides a CPPC device to generic library. Signed-off-by: Sunil V L <sunilvl@ventanamicro.com> Reviewed-by: Andrew Jones <ajones@ventanamicro.com> Reviewed-by: Anup Patel <anup@brainfault.org>
50 lines
810 B
Plaintext
50 lines
810 B
Plaintext
# 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
|