diff --git a/ci/install.sh b/ci/install.sh
index ed13cc1650..6f8d815142 100644
--- a/ci/install.sh
+++ b/ci/install.sh
@@ -3,6 +3,7 @@ set -euxo pipefail
 main() {
     if [ $TARGET = x86_64-unknown-linux-gnu ]; then
         ( cd .. && cargo install microamp-tools --version 0.1.0-alpha.2 -f )
+        rustup target add thumbv6m-none-eabi thumbv7m-none-eabi
     fi
 
     rustup target add $TARGET