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 ];
  shellHook = ''
    export GRUB_i386="${grub2}/lib/grub/i386-pc"
  '';
}