[PATCH v4 0/1] RISC-V: Introduce vSBI framework

[Oleksii Kurochko <oleksii.kurochko@xxxxxxxxx>]

Introduce the vSBI framework to handle extension ecall instruction calls
from a guest.

In this patch series, support is added for only a few extensions and FIDs,
just enough to boot the first guest domains and obtain logs from them. This
keeps the patch series independent from other ongoing work.

It was decided to start with support for the Legacy Extension, as it is still
supported by Linux (so we may need it anyway), and because some of its FIDs
require less functionality to implement at this stage compared to the more
modern extensions.

CI tests: https://gitlab.com/xen-project/people/olkur/xen/-/pipelines/2238071752

---
Changes in v4:
 - First to patches were merged to staging.
 - Address comments for the last patch.
---
Changes in v3:
 - Address a comments from v2.
---
Changes in v2:
 - Address a comments from v1.
---

Oleksii Kurochko (1):
  xen/riscv: add RISC-V virtual SBI base extension support for guests

 xen/arch/riscv/include/asm/sbi.h     |  6 ++
 xen/arch/riscv/vsbi/Makefile         |  1 +
 xen/arch/riscv/vsbi/base-extension.c | 82 ++++++++++++++++++++++++++++
 3 files changed, 89 insertions(+)
 create mode 100644 xen/arch/riscv/vsbi/base-extension.c

-- 
2.52.0