diff --git a/tests/default.nix b/tests/default.nix
index 905a2ab..88fbf58 100644
--- a/tests/default.nix
+++ b/tests/default.nix
@@ -5,7 +5,6 @@
 let
   tests = call: {
     fs_report = call ./fs_report.nix { };
-    libc = call ./libc.nix { };
     log = call ./log.nix { };
     signal = call ./signal.nix { };
     # solo5 = call ./solo5 { };
diff --git a/tests/libc.nix b/tests/libc.nix
deleted file mode 100644
index fef28b5..0000000
--- a/tests/libc.nix
+++ /dev/null
@@ -1,23 +0,0 @@
-{ testEnv, pkgs, depot }:
-with pkgs;
-
-testEnv.mkTest rec {
-  name = "libc";
-  meta.maintainers = with pkgs.stdenv.lib.maintainers; [ ehmry ];
-
-  testConfig = testEnv.lib.renderDhallInit ./libc.dhall "{=}";
-
-  bootModules = {
-    "libc.lib.so" = "${depot.libc}/lib/libc.lib.so";
-    "libm.lib.so" = "${depot.libc}/lib/libm.lib.so";
-    "posix.lib.so" = "${depot.posix}/lib/posix.lib.so";
-    "test-libc" = "${depot.test-libc}/bin/test-libc";
-    "vfs.lib.so" = "${os}/lib/vfs.lib.so";
-  };
-
-  qemuMem = 384;
-
-  testScript = ''
-    run_genode_until "child .* exited with exit value 0.*\n" 30
-  '';
-}