Merge pull request #72 from GrassedgeT/main

spec: add chapter 4 sbi impl_id: Xen: 7 and PolarFire: 8

sbi-spec/src/base.rs

@@ -95,4 +95,8 @@ pub mod impl_id {
     pub const DIOSIX: usize = 5;
     /// Coffer.
     pub const COFFER: usize = 6;
+    /// Xen Project
+    pub const XEN: usize = 7;
+    /// PolarFire Hart Software Services.
+    pub const POLARFIRE_HSS: usize = 8;
 }

sbi-spec/src/lib.rs

@@ -104,6 +104,8 @@ mod tests {
         const_assert_eq!(4, impl_id::RUST_SBI);
         const_assert_eq!(5, impl_id::DIOSIX);
         const_assert_eq!(6, impl_id::COFFER);
+        const_assert_eq!(7, impl_id::XEN);
+        const_assert_eq!(8, impl_id::POLARFIRE_HSS);
     }
     // §5
     #[cfg(feature = "legacy")]

sbi-testing/src/base.rs

@@ -88,6 +88,8 @@ pub fn test(mut f: impl FnMut(Case)) {
         impl_id::RUST_SBI => Ok("RustSBI"),
         impl_id::DIOSIX => Ok("Diosix"),
         impl_id::COFFER => Ok("Coffer"),
+        impl_id::XEN => Ok("Xen Project"),
+        impl_id::POLARFIRE_HSS => Ok("PolarFire Hart Software Services"),
         unknown => Err(unknown),
     }));
     f(Case::GetSbiImplVersion(sbi::get_sbi_impl_version()));