ci: upgrade OpenSBI to version 1.4

Signed-off-by: Martin Kröning <[email protected]>

.github/workflows/ci.yml

@@ -176,6 +176,11 @@ jobs:
             kernel/hermit-builtins
       - name: Download loader
         run: gh release download --repo hermit-os/loader --pattern hermit-loader-${{ matrix.arch }}
+      - name: Dowload OpenSBI
+        if: matrix.arch == 'riscv64'
+        run: |
+          gh release download v1.4 --repo riscv-software-src/opensbi --pattern 'opensbi-*-rv-bin.tar.xz'
+          tar -xvf opensbi-*-rv-bin.tar.xz opensbi-1.4-rv-bin/share/opensbi/lp64/generic/firmware/fw_jump.bin
       - name: Install virtiofsd
         run: cargo install --locked virtiofsd
         if: matrix.arch == 'x86_64'

xtask/src/ci/qemu.rs

@@ -145,7 +145,12 @@ impl Qemu {
 		} else if self.build.cargo_build.artifact.arch == Arch::Aarch64 {
 			vec!["-machine".to_string(), "virt,gic-version=3".to_string()]
 		} else if self.build.cargo_build.artifact.arch == Arch::Riscv64 {
-			vec!["-machine".to_string(), "virt".to_string()]
+			vec![
+				"-machine".to_string(),
+				"virt".to_string(),
+				"-bios".to_string(),
+				"opensbi-1.4-rv-bin/share/opensbi/lp64/generic/firmware/fw_jump.bin".to_string(),
+			]
 		} else {
 			vec![]
 		}