Require SBI SSE for RAS

server_platform.bib

@@ -36,6 +36,11 @@ @electronic{RVA23
   url = {https://github.com/riscv/riscv-profiles/blob/main/rva23-profile.adoc},
   year = {}
 }
+@electronic{SBI,
+  title = {RISC-V Supervisor Binary Interface Specification},
+  url = {https://github.com/riscv-non-isa/riscv-sbi-doc},
+  year = {}
+}
 @electronic{ServerSoC,
   title = {RISC-V Server SoC Specification},
   url = {https://github.com/riscv-non-isa/server-soc},

server_platform_intro.adoc

@@ -108,8 +108,9 @@ Most terminology has the standard RISC-V meaning. This table captures other term
 | Hypervisor       | Software entity that controls virtualization.
 | ID               | Identifier.
 | OS               | Operating System.
+| SBI              | RISC-V Supervisor Binary Interface Specification cite:[SBI].
 | SoC              | System on a chip, also referred as system-on-a-chip and
                      system-on-chip.
-| UEFI             | Unified Extensible Firmware Interface. cite:[UEFI]
+| UEFI             | Unified Extensible Firmware Interface cite:[UEFI].
 | VM               | Virtual Machine.
 |===

server_platform_requirements.adoc

@@ -137,6 +137,7 @@ PCIe devices or be compliant to rules for SoC-integrated PCIe devices (cite:[Ser
 | `FIRM_010`  | The RISC-V SoC MUST comply with the BRS-I recipe described in the Boot and Runtime Service specification cite:[BRS].
 2+| _The Boot and Runtime Services specification is still under construction. This specification should
     be updated once the specification versioning info is finalized._
+| `FIRM_012`  | If RAS is supported, the firmware MUST implement the SBI Supervisor Software Events (SSE) extension.
 | `FIRM_020`  | MUST include configuration infrastructure, supporting relevant HII protocols (cite:[UEFI] Section 2.6.2)
 | `FIRM_030`  | SHOULD include the ability to boot from disk (block) device, supporting relevant protocols (cite:[UEFI] Section 2.6.2)
 | `FIRM_040`  | SHOULD include the ability to perform a TFTP-based boot from a network device and to validate a boot