diff --git a/hacking/nix/default.nix b/hacking/nix/default.nix
index 4e8b9897d..a3ba89cb4 100644
--- a/hacking/nix/default.nix
+++ b/hacking/nix/default.nix
@@ -44,16 +44,10 @@ let
           };
           riscv64 = {
             none = mkLeaf (guard "riscv64-none-elf");
-            noneWithLibc = mkLeaf (guard "riscv64-none-elf" // {
-              this.noneWithLibc = true;
-            });
             linux = mkLeaf (guard "riscv64-unknown-linux-gnu");
           };
           riscv32 = {
             none = mkLeaf (guard "riscv32-none-elf");
-            noneWithLibc = mkLeaf (guard "riscv32-none-elf" // {
-              this.noneWithLibc = true;
-            });
             linux = mkLeaf (guard "riscv32-unknown-linux-gnu");
           };
           x86_64 = {
diff --git a/hacking/nix/overlay/default.nix b/hacking/nix/overlay/default.nix
index 8916a2ea0..28d154950 100644
--- a/hacking/nix/overlay/default.nix
+++ b/hacking/nix/overlay/default.nix
@@ -24,14 +24,6 @@ assert !(super ? scopeName);
         })
       ;
 
-  stdenv =
-    if super.stdenv.hostPlatform.isNone && !(super.stdenv.hostPlatform.this.noneWithLibc or false)
-    then
-      # Use toolchain without newlib. This is equivalent to crossLibcStdenv.
-      super.overrideCC super.stdenv super.crossLibcStdenv.cc
-    else
-      super.stdenv;
-
   # Add Python packages needed by the seL4 ecosystem
   pythonPackagesExtensions = super.pythonPackagesExtensions ++ [
     (callPackage ./python-overrides.nix {})
diff --git a/hacking/nix/scope/default.nix b/hacking/nix/scope/default.nix
index 298be7a1e..da608b266 100644
--- a/hacking/nix/scope/default.nix
+++ b/hacking/nix/scope/default.nix
@@ -95,7 +95,7 @@ superCallPackage ../rust-utils {} self //
     riscv64 = "riscv64imac-unknown-none-elf"; # gc?
     riscv32 = "riscv32imac-unknown-none-elf"; # gc?
     x86_64 = "x86_64-unknown-none";
-    ia32 = "i686-unknown-linux-gnu";
+    ia32 = "i686-unknown-linux-gnu"; # HACK
   }."${seL4Arch}";
 
   mkBuiltinRustTargetInfo = name: {
@@ -249,21 +249,4 @@ superCallPackage ../rust-utils {} self //
     ];
   });
 
-  ### stdenv
-
-  stdenvWithLibc =
-    let
-      bintools = stdenv.cc.bintools.override {
-        libc = libcCross;
-        noLibc = false;
-      };
-    in
-      stdenv.override {
-        cc = stdenv.cc.override {
-          libc = libcCross;
-          noLibc = false;
-          inherit bintools;
-        };
-      };
-
 })
diff --git a/hacking/nix/scope/world/instances/c.nix b/hacking/nix/scope/world/instances/c.nix
index 23d8f0da3..80e442056 100644
--- a/hacking/nix/scope/world/instances/c.nix
+++ b/hacking/nix/scope/world/instances/c.nix
@@ -4,19 +4,16 @@
 , crates
 , mkTask
 , defaultRustTargetInfo
-, stdenvWithLibc
 
 , mkInstance
 }:
 
 let
-  libcDir = "${stdenvWithLibc.cc.libc}/${hostPlatform.config}";
+  libcDir = "${stdenv.cc.libc}/${hostPlatform.config}";
 
 in
 mkInstance {
   rootTask = mkTask rec {
-    stdenv = stdenvWithLibc;
-
     rootCrate = crates.tests-root-task-c;
 
     release = false;
diff --git a/hacking/nix/top-level/default.nix b/hacking/nix/top-level/default.nix
index 8027bb4f6..3c010882f 100644
--- a/hacking/nix/top-level/default.nix
+++ b/hacking/nix/top-level/default.nix
@@ -17,16 +17,17 @@ in {
   ];
 
   sel4testInstances = (map (x: x.this.sel4test) [
-    pkgs.host.aarch64.linux
-    pkgs.host.aarch32.linux
-    pkgs.host.riscv64.noneWithLibc
-    pkgs.host.riscv32.noneWithLibc
+    pkgs.host.aarch64.none
+    pkgs.host.aarch32.none
+    pkgs.host.riscv64.none
+    pkgs.host.riscv32.none
+    # TODO figure out why none doesn't work
     pkgs.host.x86_64.linux
     pkgs.host.ia32.linux
   ]);
 
   prerequisites = aggregate "prerequisites" [
-    pkgs.host.riscv64.noneWithLibc.gccMultiStdenvGeneric
+    pkgs.host.riscv64.none.gccMultiStdenvGeneric
     pkgs.build.this.qemuForSeL4
     pkgs.build.this.cargoManifestGenrationUtils.rustfmtWithTOMLSupport
     pkgs.build.this.capdl-tool