diff --git a/.gitmodules b/.gitmodules
index 2c39d4c8..c6f9f713 100644
--- a/.gitmodules
+++ b/.gitmodules
@@ -34,6 +34,3 @@
 [submodule "torture"]
 	path = torture
 	url = https://github.com/ucb-bar/riscv-torture.git
-[submodule "dev-tools/axe"]
-	path = dev-tools/axe
-	url = https://github.com/CTSRD-CHERI/axe.git
diff --git a/dev-tools/axe b/dev-tools/axe
deleted file mode 160000
index d6837657..00000000
--- a/dev-tools/axe
+++ /dev/null
@@ -1 +0,0 @@
-Subproject commit d68376570390e72ce3b1eb88ad6305bd35935267
diff --git a/dev-tools/install.sh b/dev-tools/install.sh
deleted file mode 100755
index f60e22b3..00000000
--- a/dev-tools/install.sh
+++ /dev/null
@@ -1,7 +0,0 @@
-#!/bin/sh
-
-cp scripts/* $RISCV/bin
-cd axe/src
-./make.sh
-cp axe $RISCV/bin
-cp axe-shrink.py $RISCV/bin
diff --git a/dev-tools/scripts/toaxe.py b/scripts/toaxe.py
similarity index 100%
rename from dev-tools/scripts/toaxe.py
rename to scripts/toaxe.py