forked from CTSRD-CHERI/TestRIG
-
Notifications
You must be signed in to change notification settings - Fork 0
Expand file tree
/
Copy path.gitmodules
More file actions
19 lines (19 loc) · 843 Bytes
/
.gitmodules
File metadata and controls
19 lines (19 loc) · 843 Bytes
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
[submodule "BSV-RVFI-DII"]
path = utils/BSV-RVFI-DII
url = https://github.com/CTSRD-CHERI/BSV-RVFI-DII.git
[submodule "sail-riscv"]
path = riscv-implementations/sail-riscv
url = https://github.com/rems-project/sail-riscv.git
branch = hpm_events
[submodule "sail-cheri-riscv"]
path = riscv-implementations/sail-cheri-riscv
url = https://github.com/CTSRD-CHERI/sail-cheri-riscv.git
[submodule "riscv-implementations/cheriot-sail"]
path = riscv-implementations/cheriot-sail
url = https://github.com/CHERIoT-Platform/cheriot-sail.git
[submodule "riscv-implementations/cheriot-ibex"]
path = riscv-implementations/cheriot-ibex
url = https://github.com/microsoft/cheriot-ibex.git
[submodule "riscv-implementations/cheriot-kudu"]
path = riscv-implementations/cheriot-kudu
url = https://github.com/microsoft/cheriot-kudu.git