Add tool for checking out Linux sources

1 files changed, 21 insertions, 0 deletions

diff --git a/tools.nix b/tools.nix
new file mode 100644
index 0000000..5f90e27
--- /dev/null
+++ b/tools.nix
@@ -0,0 +1,21 @@
+{ stdenvNoCC }:
+stdenvNoCC.mkDerivation {
+  name = "kernel-dev-tools";
+
+  src = ./tools;
+  
+  dontConfigure = true;
+  dontBuild = true;
+
+  installPhase = ''
+    runHook preInstall
+
+    mkdir -p $out/bin
+
+    for script in *; do
+      install -m0555 "$script" $out/bin/
+    done
+
+    runHook preInstall
+  '';
+}