source "$(OPENSBI_PLATFORM_SRC_DIR)/Kconfig"
endmenu
+source "$(OPENSBI_SRC_DIR)/lib/sbi/Kconfig"
+
source "$(OPENSBI_SRC_DIR)/lib/utils/Kconfig"
source "$(OPENSBI_SRC_DIR)/firmware/Kconfig"
--- /dev/null
+# 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
libsbi-objs-y += sbi_ecall_exts.o
# The order of below extensions is performance optimized
-carray-sbi_ecall_exts-y += ecall_time
-carray-sbi_ecall_exts-y += ecall_rfence
-carray-sbi_ecall_exts-y += ecall_ipi
+carray-sbi_ecall_exts-$(CONFIG_SBI_ECALL_TIME) += ecall_time
+carray-sbi_ecall_exts-$(CONFIG_SBI_ECALL_RFENCE) += ecall_rfence
+carray-sbi_ecall_exts-$(CONFIG_SBI_ECALL_IPI) += ecall_ipi
carray-sbi_ecall_exts-y += ecall_base
-carray-sbi_ecall_exts-y += ecall_hsm
-carray-sbi_ecall_exts-y += ecall_srst
-carray-sbi_ecall_exts-y += ecall_pmu
-carray-sbi_ecall_exts-y += ecall_legacy
-carray-sbi_ecall_exts-y += ecall_vendor
+carray-sbi_ecall_exts-$(CONFIG_SBI_ECALL_HSM) += ecall_hsm
+carray-sbi_ecall_exts-$(CONFIG_SBI_ECALL_SRST) += ecall_srst
+carray-sbi_ecall_exts-$(CONFIG_SBI_ECALL_PMU) += ecall_pmu
+carray-sbi_ecall_exts-$(CONFIG_SBI_ECALL_LEGACY) += ecall_legacy
+carray-sbi_ecall_exts-$(CONFIG_SBI_ECALL_VENDOR) += ecall_vendor
libsbi-objs-y += sbi_ecall_base.o
-libsbi-objs-y += sbi_ecall_hsm.o
-libsbi-objs-y += sbi_ecall_legacy.o
-libsbi-objs-y += sbi_ecall_pmu.o
+libsbi-objs-$(CONFIG_SBI_ECALL_HSM) += sbi_ecall_hsm.o
+libsbi-objs-$(CONFIG_SBI_ECALL_LEGACY) += sbi_ecall_legacy.o
+libsbi-objs-$(CONFIG_SBI_ECALL_PMU) += sbi_ecall_pmu.o
libsbi-objs-y += sbi_ecall_replace.o
-libsbi-objs-y += sbi_ecall_vendor.o
+libsbi-objs-$(CONFIG_SBI_ECALL_VENDOR) += sbi_ecall_vendor.o
libsbi-objs-y += sbi_bitmap.o
libsbi-objs-y += sbi_bitops.o
#include <sbi/sbi_tlb.h>
#include <sbi/sbi_trap.h>
+#ifdef CONFIG_SBI_ECALL_TIME
static int sbi_ecall_time_handler(unsigned long extid, unsigned long funcid,
const struct sbi_trap_regs *regs,
unsigned long *out_val,
.extid_end = SBI_EXT_TIME,
.handle = sbi_ecall_time_handler,
};
+#endif
+#ifdef CONFIG_SBI_ECALL_RFENCE
static int sbi_ecall_rfence_handler(unsigned long extid, unsigned long funcid,
const struct sbi_trap_regs *regs,
unsigned long *out_val,
.extid_end = SBI_EXT_RFENCE,
.handle = sbi_ecall_rfence_handler,
};
+#endif
+#ifdef CONFIG_SBI_ECALL_IPI
static int sbi_ecall_ipi_handler(unsigned long extid, unsigned long funcid,
const struct sbi_trap_regs *regs,
unsigned long *out_val,
.extid_end = SBI_EXT_IPI,
.handle = sbi_ecall_ipi_handler,
};
+#endif
+#ifdef CONFIG_SBI_ECALL_SRST
static int sbi_ecall_srst_handler(unsigned long extid, unsigned long funcid,
const struct sbi_trap_regs *regs,
unsigned long *out_val,
.handle = sbi_ecall_srst_handler,
.probe = sbi_ecall_srst_probe,
};
+#endif