Download OpenSBI for RISC-V 32-bit

.github/workflows/qemu-riscv-knsh32.yml

@@ -194,6 +194,11 @@ jobs:
           expect qemu-system-riscv32
         qemu-system-riscv32 --version
 
+        ## Download OpenSBI for RISC-V 32-bit
+        wget https://github.com/riscv-software-src/opensbi/releases/download/v1.5/opensbi-1.5-rv-bin.tar.xz
+        tar xf opensbi-1.5-rv-bin.tar.xz
+        ls -l opensbi-1.5-rv-bin/share/opensbi/ilp32/generic/firmware/fw_dynamic.bin
+
     - name: Run Test
       run: |
         set -x  #  Echo commands

.github/workflows/qemu-riscv-knsh64.yml

@@ -13,8 +13,8 @@ on:
     - cron: '0 0 * * *'
 
   ## Run on every commit to this branch
-  push:
-    branches: [ main ]
+  # push:
+  #   branches: [ main ]
 
 jobs:
   build:

.github/workflows/qemu-riscv-nsh.yml

@@ -13,8 +13,8 @@ on:
     - cron: '0 0 * * *'
 
   ## Run on every commit to this branch
-  push:
-    branches: [ main ]
+  # push:
+  #   branches: [ main ]
 
 jobs:
   build:

.github/workflows/qemu-riscv-nsh64.yml

@@ -13,8 +13,8 @@ on:
     - cron: '0 0 * * *'
 
   ## Run on every commit to this branch
-  push:
-    branches: [ main ]
+  # push:
+  #   branches: [ main ]
 
 jobs:
   build:

.github/workflows/special-qemu-riscv-knsh32.yml

@@ -194,6 +194,11 @@ jobs:
           expect qemu-system-riscv32
         qemu-system-riscv32 --version
 
+        ## Download OpenSBI for RISC-V 32-bit
+        wget https://github.com/riscv-software-src/opensbi/releases/download/v1.5/opensbi-1.5-rv-bin.tar.xz
+        tar xf opensbi-1.5-rv-bin.tar.xz
+        ls -l opensbi-1.5-rv-bin/share/opensbi/ilp32/generic/firmware/fw_dynamic.bin
+
     - name: Run Test
       run: |
         set -x  #  Echo commands

qemu-riscv-knsh32.exp

@@ -13,6 +13,7 @@ spawn qemu-system-riscv32 \
   -M virt,aclint=on \
   -cpu rv32 \
   -kernel nuttx \
+  -bios opensbi-1.5-rv-bin/share/opensbi/ilp32/generic/firmware/fw_dynamic.bin \
   -nographic
 
 ## Wait for the prompt and enter `uname -a`