Module sbi_spec::base::impl_id

SBI Implementation IDs.

Declared in §4.9.

Constants

• BBL
  Berkley Bootloader.
• COFFER
  Coffer.
• DIOSIX
  Diosix.
• KVM
  KVM.
• OPEN_SBI
  OpenSBI.
• RUST_SBI
  RustSBI.
• XVISOR
  Xvisor.