diff --git a/.cargo/config b/.cargo/config
index 901b89afec3a9bedf3243265e536b4c3673315e8..f84ab0120ef0fa89cf7d07d02a2df647a7d9139c 100644
--- a/.cargo/config
+++ b/.cargo/config
@@ -28,6 +28,7 @@ rustflags = [
   "-C", "link-arg=-Tlink.x",
   "-C", "linker=arm-none-eabi-ld",
   "-Z", "linker-flavor=ld",
+  "-Z", "thinlto=no",
 ]
 
 # used when building for klee
@@ -35,7 +36,8 @@ rustflags = [
 [target.x86_64-unknown-linux-gnu]
 rustflags = [
   "--emit=llvm-bc,llvm-ir",
-  "-C", "linker=true"
+  "-C", "linker=true",
+  "-Z", "thinlto=no",
 ]
 
 # default build target (for m3)