1 files changed, 2 insertions, 0 deletions
diff --git a/Kconfig b/Kconfig
index b3213a9..acfc138 100644
--- a/Kconfig
+++ b/Kconfig
@@ -18,6 +18,8 @@ menu "Platform Options"
 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"