|
f63364b9fe
|
Update upstream rev
|
2019-10-13 21:33:24 +02:00 |
|
|
7f1cdabda9
|
Write a Tup config when entering nix-shell
|
2019-10-13 15:36:48 +02:00 |
|
|
f0762e152a
|
Update git revisions
|
2019-10-13 15:36:48 +02:00 |
|
|
484d036057
|
Fix base-linux build, compile -O2
|
2019-10-07 23:39:26 +02:00 |
|
|
3961ab76e6
|
Update Tup local config from Genode nix-shell
|
2019-10-07 23:39:26 +02:00 |
|
|
96e098d644
|
Configure Genode build with tup.config
|
2019-10-04 14:45:48 +02:00 |
|
|
557bb6f119
|
Update upstream ref
|
2019-10-04 12:51:05 +02:00 |
|
|
41071d2625
|
License under Hippocratic-1.1
|
2019-09-27 12:38:35 +02:00 |
|
|
8a98432df3
|
Add meta to Genode upstream packages
|
2019-09-25 13:48:34 +02:00 |
|
|
734f38fabb
|
Refactor for clarity
Mode around for the sake of clarity, pin Nixpkgs with fetchGit for
convenience.
|
2019-09-25 13:48:34 +02:00 |
|
|
a2c2dcad29
|
Update upstream revision
|
2019-09-25 13:48:34 +02:00 |
|
|
fd3ca8fb27
|
Split upstream into multiple derivations
|
2019-09-25 13:48:34 +02:00 |
|
|
2898f32458
|
Remove LLVM from overlay
This is temporary.
|
2019-09-25 13:48:34 +02:00 |
|
|
837b701018
|
Nixpkgs overlay
|
2019-09-25 13:48:26 +02:00 |
|
|
7f8e7923a6
|
Update Git URLs
|
2019-09-01 16:00:12 +02:00 |
|
|
3ad62e086e
|
Initial commit
|
2019-08-18 16:07:11 +02:00 |
|