From a2d6311d5f16bc3d86f019a5af699ce9068b9f1b Mon Sep 17 00:00:00 2001
From: Maximilian Bosch <maximilian@mbosch.me>
Date: Fri, 1 Nov 2019 19:06:32 +0100
Subject: Explicitly pin nixpkgs to a given release-19.09 rev

Just updated and backported cargo-xbuild and xorriso before, so now this
uses fairly recent versions.
---
 kernel/shell.nix | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/kernel/shell.nix b/kernel/shell.nix
index 4fc72af..e57790f 100644
--- a/kernel/shell.nix
+++ b/kernel/shell.nix
@@ -1,4 +1,7 @@
-with import <nixpkgs> { };
+with import (fetchTarball {
+  url = https://github.com/NixOS/nixpkgs/archive/9708378251ee362a3a8861e4d0c3ffe45a21c566.tar.gz;
+  sha256 = "000n0vsdhii77qh5arn0lsf747xhk7y1x0mszh39psj3in0fadzl";
+}) { };
 mkShell {
   name = "uff-os";
   buildInputs = [ rustup nasm grub2 cargo-xbuild gcc xorriso ];
-- 
cgit v1.2.3-70-g09d2