Track ibex branch of sail-riscv

CTSRD-CHERI · Sep 5, 2024 · 31258f9 · 31258f9
1 parent 8620211
commit 31258f9
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/.gitmodules b/.gitmodules
@@ -1,3 +1,3 @@
 [submodule "sail-riscv"]
 	path = sail-riscv
-	url = https://github.com/rems-project/sail-riscv
+	url = https://github.com/CTSRD-CHERI/sail-riscv
diff --git a/sail-riscv b/sail-riscv
+4 −4		model/riscv_insts_cext.sail
+0 −1		model/riscv_sys_control.sail