Changeset View
Changeset View
Standalone View
Standalone View
head/sys/riscv/riscv/sbi.c
Show First 20 Lines • Show All 104 Lines • ▼ Show 20 Lines | if (sbi_spec_version == 0) { | ||||
printf("SBI Specification Version: 0.1\n"); | printf("SBI Specification Version: 0.1\n"); | ||||
return; | return; | ||||
} | } | ||||
switch (sbi_impl_id) { | switch (sbi_impl_id) { | ||||
case (SBI_IMPL_ID_BBL): | case (SBI_IMPL_ID_BBL): | ||||
printf("SBI: Berkely Boot Loader %lu\n", sbi_impl_version); | printf("SBI: Berkely Boot Loader %lu\n", sbi_impl_version); | ||||
break; | 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): | case (SBI_IMPL_ID_OPENSBI): | ||||
major = sbi_impl_version >> OPENSBI_VERSION_MAJOR_OFFSET; | major = sbi_impl_version >> OPENSBI_VERSION_MAJOR_OFFSET; | ||||
minor = sbi_impl_version & OPENSBI_VERSION_MINOR_MASK; | minor = sbi_impl_version & OPENSBI_VERSION_MINOR_MASK; | ||||
printf("SBI: OpenSBI v%u.%u\n", major, minor); | printf("SBI: OpenSBI v%u.%u\n", major, minor); | ||||
break; | break; | ||||
default: | default: | ||||
printf("SBI: Unrecognized Implementation: %lu\n", sbi_impl_id); | printf("SBI: Unrecognized Implementation: %lu\n", sbi_impl_id); | ||||
break; | break; | ||||
▲ Show 20 Lines • Show All 177 Lines • Show Last 20 Lines |