Allow the formal engine to perform a same-cycle result in the ALU

[soc.git] / .gitmodules

diff --git a/.gitmodules b/.gitmodules
index 43df69cedd82ebcd7815be3e17ca96bec93e74c8..d6a70bcb4bb2ab938edf11fa75f8cefd54a69232 100644 (file)
--- a/.gitmodules
+++ b/.gitmodules
@@ -1,9 +1,6 @@
 [submodule "pinmux"]
        path = pinmux
        url = https://git.libre-soc.org/git/pinmux.git
-[submodule "libreriscv"]
-       path = libreriscv
-       url = https://git.libre-soc.org/git/libreriscv.git
 [submodule "src/soc/litex/florent"]
        path = src/soc/litex/florent
        url = https://git.libre-soc.org/git/libresoc-litex.git
@@ -16,6 +13,3 @@
 [submodule "src/soc/soc-cocotb-sim"]
        path = src/soc/soc-cocotb-sim
        url = https://git.libre-soc.org/git/soc-cocotb-sim.git
-[submodule "openpower-isa"]
-       path = openpower-isa
-       url = https://git.libre-soc.org/git/openpower-isa.git