diff --git a/hacking/nix/scope/world/shell.nix b/hacking/nix/scope/world/shell.nix
index 91c5b8909..f5f1601a4 100644
--- a/hacking/nix/scope/world/shell.nix
+++ b/hacking/nix/scope/world/shell.nix
@@ -83,7 +83,8 @@ mkShell (seL4RustEnvVars // kernelLoaderConfigEnvVars // capdlEnvVars // bindgen
   ];
 
   shellHook = ''
-    # abbreviation
     export h=$HOST_CARGO_FLAGS
+    export t="--target $RUST_SEL4_TARGET"
+    export bt="--target $RUST_BARE_METAL_TARGET"
   '';
 })