Merge GitHub PR#3.
authorSimon Gerber <simon.gerber@inf.ethz.ch>
Thu, 22 Dec 2016 21:48:53 +0000 (22:48 +0100)
committerSimon Gerber <simon.gerber@inf.ethz.ch>
Thu, 22 Dec 2016 21:48:53 +0000 (22:48 +0100)
commitf1859e99edb57213eeabc76817af00112c65d175
treea1e546b658913ec734f833cc251884792db5bf19
parent78b47f08ab9be1b87121b4d1911ed610db8cb7ba
parentd26dd037a82b7dbc48527eefee93de844c5a54c7
Merge GitHub PR#3.

* Build environment and build fixes for NixOS
* can build working build environment through nix package manager
  (cf.  https://nixos.org/nix/about.html)

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
hake/Main.hs
hake/RuleDefs.hs
hake/X86_64.hs
hake/hake.sh
hake/symbolic_targets.mk
kernel/arch/x86/misc.c
tools/qemu-wrapper.sh