QEMU platform SBI support implementation, using RustSBI - View it on GitHub