with import <nixpkgs> { };
mkShell {
  name = "uff-os";
  buildInputs = [ rustup nasm grub2 cargo-xbuild gcc xorriso ];
  shellHook = ''
    export GRUB_i386="${grub2}/lib/grub/i386-pc"
  '';
}