From b48d0f0e39e72db103234ccc0bc5726391bed939 Mon Sep 17 00:00:00 2001
From: Maximilian Bosch <maximilian@mbosch.me>
Date: Thu, 31 Oct 2019 23:11:49 +0100
Subject: Add shell.nix

Because I'm too lazy to take care of system/profile-wide dependencies.
---
 kernel/shell.nix | 5 +++++
 1 file changed, 5 insertions(+)
 create mode 100644 kernel/shell.nix

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 ];
+}
-- 
cgit v1.2.3-54-g00ecf