1 files changed, 39 insertions, 0 deletions
diff --git a/src/config/defaults/sbi.h b/src/config/defaults/sbi.h
new file mode 100644
index 000000000..f9361c926
--- /dev/null
+++ b/src/config/defaults/sbi.h
@@ -0,0 +1,39 @@
+#ifndef CONFIG_DEFAULTS_SBI_H
+#define CONFIG_DEFAULTS_SBI_H
+
+/** @file
+ *
+ * Configuration defaults for RISC-V SBI
+ *
+ */
+
+FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+
+#define IOAPI_RISCV
+#define UACCESS_OFFSET
+#define TIMER_ZICNTR
+#define ENTROPY_ZKR
+
+#if __riscv_xlen == 64
+#define IOMAP_SVPAGE
+#define DMAAPI_RISCV
+#else
+#define IOMAP_VIRT
+#define DMAAPI_FLAT
+#endif
+
+#define FDT_SBI
+#define REBOOT_SBI
+#define UMALLOC_UHEAP
+#define MEMMAP_FDT
+#define SERIAL_FDT
+
+#define ACPI_NULL
+#define MPAPI_NULL
+#define NAP_NULL
+#define PCIAPI_NULL
+#define SANBOOT_NULL
+#define SMBIOS_NULL
+#define TIME_NULL
+
+#endif /* CONFIG_DEFAULTS_SBI_H */