diff --git a/.gitmodules b/.gitmodules index a0a2726..32bf485 100644 --- a/.gitmodules +++ b/.gitmodules @@ -10,6 +10,3 @@ [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 = git@github.com:CTSRD-CHERI/RISCV_HPM_Events.git diff --git a/libs/RISCV_HPM_Events b/libs/RISCV_HPM_Events deleted file mode 160000 index b1a63e2..0000000 --- a/libs/RISCV_HPM_Events +++ /dev/null @@ -1 +0,0 @@ -Subproject commit b1a63e273cf1e4b6a23b9af4cd16de0e96f19db3