Merge branch 'master' into star64

Signed-off-by: Gerwin Klein <[email protected]>
seL4 · Oct 28, 2023 · 0f4f87a · 0f4f87a
2 parents 17951c4 + 2bc0c7b
commit 0f4f87a
Show file tree

Hide file tree

Showing 2 changed files with 10 additions and 1 deletion.
diff --git a/bashisms/README.md b/bashisms/README.md
@@ -39,6 +39,6 @@ jobs:
 ### Maintenance
 
 The `checkbashism` script in `../scripts` is directly extracted from
-<https://deb.debian.org/debian/pool/main/d/devscripts/devscripts_2.23.3.tar.xz>.
+<https://deb.debian.org/debian/pool/main/d/devscripts/devscripts_2.23.6.tar.xz>.
 Installing it via `apt-get` takes forever, because the rest of the devscripts
 has lots of dependencies.
diff --git a/seL4-platforms/platforms.yml b/seL4-platforms/platforms.yml
@@ -50,6 +50,15 @@ platforms:
     disabled: true
     no_hw_build: true
 
+  RISCVVIRT32:
+    arch: riscv
+    modes: [32]
+    platform: qemu-riscv-virt
+    simulation_binary: qemu-riscv-virt32
+    march: rv32imac
+    disabled: true
+    no_hw_build: true
+
   HIFIVE:
     arch: riscv
     modes: [64]