diff --git a/artiq/compiler/targets.py b/artiq/compiler/targets.py
index e44024177..9b985c32e 100644
--- a/artiq/compiler/targets.py
+++ b/artiq/compiler/targets.py
@@ -275,3 +275,8 @@ class CortexA9Target(Target):
     print_function = "core_log"
     little_endian = True
     now_pinning = False
+
+    tool_ld = "armv7-unknown-linux-gnueabihf-ld"
+    tool_strip = "armv7-unknown-linux-gnueabihf-strip"
+    tool_addr2line = "armv7-unknown-linux-gnueabihf-addr2line"
+    tool_cxxfilt = "armv7-unknown-linux-gnueabihf-c++filt"