Index: head/sys/riscv/include/sbi.h
===================================================================
--- head/sys/riscv/include/sbi.h
+++ head/sys/riscv/include/sbi.h
@@ -47,6 +47,10 @@
 /* SBI Implementation IDs */
 #define	SBI_IMPL_ID_BBL			0
 #define	SBI_IMPL_ID_OPENSBI		1
+#define	SBI_IMPL_ID_XVISOR		2
+#define	SBI_IMPL_ID_KVM			3
+#define	SBI_IMPL_ID_RUSTSBI		4
+#define	SBI_IMPL_ID_DIOSIX		5
 
 /* SBI Error Codes */
 #define	SBI_SUCCESS			0
Index: head/sys/riscv/riscv/sbi.c
===================================================================
--- head/sys/riscv/riscv/sbi.c
+++ head/sys/riscv/riscv/sbi.c
@@ -110,6 +110,18 @@
 	case (SBI_IMPL_ID_BBL):
 		printf("SBI: Berkely Boot Loader %lu\n", sbi_impl_version);
 		break;
+	case (SBI_IMPL_ID_XVISOR):
+		printf("SBI: eXtensible Versatile hypervISOR %lu\n", sbi_impl_version);
+		break;
+	case (SBI_IMPL_ID_KVM):
+		printf("SBI: Kernel-based Virtual Machine %lu\n", sbi_impl_version);
+		break;
+	case (SBI_IMPL_ID_RUSTSBI):
+		printf("SBI: RustSBI %lu\n", sbi_impl_version);
+		break;
+	case (SBI_IMPL_ID_DIOSIX):
+		printf("SBI: Diosix %lu\n", sbi_impl_version);
+		break;
 	case (SBI_IMPL_ID_OPENSBI):
 		major = sbi_impl_version >> OPENSBI_VERSION_MAJOR_OFFSET;
 		minor = sbi_impl_version & OPENSBI_VERSION_MINOR_MASK;