Ehmry -
71e1a286e5
Nix: update flake
2020-01-29 18:45:57 +01:00
Ehmry -
4287419392
Add Nix flake for dev-shell
2020-01-21 13:36:05 +01:00
Ehmry -
42f93ce3da
Move Nix expressions to genodepkgs
2020-01-17 17:17:34 +01:00
Ehmry -
6463f84741
Nix flake: use Github url for Nixpkgs
2020-01-14 11:43:38 +01:00
Ehmry -
4235b5ab9b
Nix app for building NOVA ISOs
2020-01-14 11:33:00 +01:00
Ehmry -
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
Ehmry -
32f8b603cb
Use cross-compile pairs in Flake
2019-12-02 16:30:36 +01:00
Ehmry -
94266a7bb0
Add hydraJobs
2019-11-29 15:50:13 +01:00
Ehmry -
dd07e99ef6
Nix flake
2019-11-28 13:17:35 +01:00
Ehmry -