22 lines
840 B
Plaintext
22 lines
840 B
Plaintext
[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://git.akilan.io/Cheri-research/cheri-cap-lib
|
|
[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
|
|
[submodule "Tests/benchmarks"]
|
|
path = Tests/benchmarks
|
|
url = https://github.com/CTSRD-CHERI/toooba-sim-benchmarks.git
|