diff options
author | Maximilian Bosch <maximilian@mbosch.me> | 2019-10-31 23:11:49 +0100 |
---|---|---|
committer | Maximilian Bosch <maximilian@mbosch.me> | 2019-10-31 23:11:49 +0100 |
commit | b48d0f0e39e72db103234ccc0bc5726391bed939 (patch) | |
tree | 757bb237c0523aa3d80772a180530a31bf664347 | |
parent | 3a97ccc657ca460213021f715775d1dccc0d9726 (diff) |
Add shell.nix
Because I'm too lazy to take care of system/profile-wide dependencies.
-rw-r--r-- | kernel/shell.nix | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/kernel/shell.nix b/kernel/shell.nix new file mode 100644 index 0000000..ba2647a --- /dev/null +++ b/kernel/shell.nix @@ -0,0 +1,5 @@ +with import <nixpkgs> { }; +mkShell { + name = "uff-os"; + buildInputs = [ rustup nasm grub2 cargo-xbuild gcc xorriso ]; +} |