forked from bluespec/Toooba
-
Notifications
You must be signed in to change notification settings - Fork 7
/
.gitmodules
18 lines (18 loc) · 718 Bytes
/
.gitmodules
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
[submodule "src_Verifier/BSV-RVFI-DII"]
path = src_Verifier/BSV-RVFI-DII
url = https://github.com/CTSRD-CHERI/BSV-RVFI-DII.git
[submodule "libs/BlueStuff"]
path = libs/BlueStuff
url = https://github.com/CTSRD-CHERI/BlueStuff.git
[submodule "libs/TagController"]
path = libs/TagController
url = https://github.com/CTSRD-CHERI/TagController.git
[submodule "libs/cheri-cap-lib"]
path = libs/cheri-cap-lib
url = https://github.com/CTSRD-CHERI/cheri-cap-lib.git
[submodule "libs/RISCV_HPM_Events"]
path = libs/RISCV_HPM_Events
url = https://github.com/CTSRD-CHERI/RISCV_HPM_Events.git
[submodule "libs/WindCoreInterface"]
path = libs/WindCoreInterface
url = https://github.com/CTSRD-CHERI/WindCoreInterface.git