Commit Graph

10 Commits

Author SHA1 Message Date
Emery Hemingway 71e1a286e5 Nix: update flake 2020-01-29 18:45:57 +01:00
Emery Hemingway 4287419392 Add Nix flake for dev-shell 2020-01-21 13:36:05 +01:00
Emery Hemingway 42f93ce3da Move Nix expressions to genodepkgs 2020-01-17 17:17:34 +01:00
Emery Hemingway 6463f84741 Nix flake: use Github url for Nixpkgs 2020-01-14 11:43:38 +01:00
Emery Hemingway 4235b5ab9b Nix app for building NOVA ISOs 2020-01-14 11:33:00 +01:00
Emery Hemingway 969180525f Use patched binary toolchain from Genode Labs
- Fetch and patch GCC distribution
 - Pass Tup config as a file
 - Fold out and dev outputs
 - Remove shellHook code for compatibility with dev-shell
 - Tweak Tup Nix conditionals
 - Add Tupfile.ini
 - Remove custom setup-hook
2020-01-05 20:32:08 +01:00
Emery Hemingway bab7a572fe Refactor flake to expose x86_64-linux-x86_64-genode as x86_64-linux 2019-12-26 15:33:09 +05:30
Emery Hemingway 32f8b603cb Use cross-compile pairs in Flake 2019-12-02 16:30:36 +01:00
Emery Hemingway 94266a7bb0 Add hydraJobs 2019-11-29 15:50:13 +01:00
Emery Hemingway dd07e99ef6 Nix flake 2019-11-28 13:17:35 +01:00