with import <nixpkgs> { };
mkShell {
  name = "uff-os";
  buildInputs = [ rustup nasm grub2 cargo-xbuild gcc xorriso ];
}