Add SBI Message Proxy(MPXY) extension

SBI implementation(M-Mode) can have support for various message protocols. To allow supervisor software clients to send/receive messages for supported message protocols let's add SBI Message Proxy(MPXY) extension. Signed-off-by: Rahul Pathak <rpathak@ventanamicro.com>
riscv-non-isa · Sep 16, 2024 · 58acb26 · 58acb26
1 parent 14527b4
commit 58acb26
Show file tree

Hide file tree

Showing 6 changed files with 865 additions and 0 deletions.
diff --git a/Makefile b/Makefile
@@ -26,6 +26,7 @@ DEPS += src/ext-steal-time.adoc
 DEPS += src/ext-sse.adoc
 DEPS += src/ext-firmware-features.adoc
 DEPS += src/ext-debug-triggers.adoc
+DEPS += src/ext-mpxy.adoc
 DEPS += src/ext-experimental.adoc
 DEPS += src/ext-vendor.adoc
 DEPS += src/ext-firmware.adoc

diff --git a/riscv-sbi.adoc b/riscv-sbi.adoc
@@ -103,6 +103,8 @@ include::src/ext-firmware-features.adoc[]
 
 include::src/ext-debug-triggers.adoc[]
 
+include::src/ext-mpxy.adoc[]
+
 include::src/ext-experimental.adoc[]
 
 include::src/ext-vendor.adoc[]

diff --git a/src/binary-encoding.adoc b/src/binary-encoding.adoc
@@ -49,6 +49,8 @@ error codes.
 |  SBI_ERR_NO_SHMEM          | -9    | Shared memory not available
 |  SBI_ERR_INVALID_STATE     | -10   | Invalid state
 |  SBI_ERR_BAD_RANGE         | -11   | Bad (or invalid) range
+|  SBI_ERR_TIMEOUT           | -12   | Failed due to timeout
+|  SBI_ERR_IO                | -13   | Input/Output error
 |===
 
 An `ECALL` with an unsupported SBI extension ID (*EID*) or an unsupported SBI

diff --git a/src/changelog.adoc b/src/changelog.adoc
@@ -1,6 +1,9 @@
 == Change Log
 
 === Version 3.0-rc1
+* Added SBI MPXY extension
+* Added error code SBI_ERR_TIMEOUT
+* Added error code SBI_ERR_IO
 * Added sse mask/unmask function and pointer masking bit in fwft
 * Clarify SBI IPI and RFENCE error codes
 * Clarify the description of the `set_timer` function