a1259a54e7
Tests: split off Linux test driver, generate with Dhall
2019-10-05 20:41:02 +02:00
cede594e15
Add dhall-haskell submodule
...
We need the latest version of the Dhall interpreter, but that needs
a pin to Nixpkgs release-17.09. Use submodule rather than a fetchgit
because dhall-haskell requires a submodule itself, and fetgit does
not pull this in.
2019-10-05 20:41:02 +02:00
96e098d644
Configure Genode build with tup.config
2019-10-04 14:45:48 +02:00
77fc1c8da2
Fix release evauation by masking lambdas
2019-10-04 12:51:09 +02:00
557bb6f119
Update upstream ref
2019-10-04 12:51:05 +02:00
4d51c1671f
Add tests
2019-10-04 12:46:23 +02:00
e4b6421545
Add pinned test binaries
2019-10-04 12:46:21 +02:00
251876c93e
Add pinned binaries for the base-* depot packages
2019-09-30 17:43:57 +02:00
b03c49c31c
Add a pinned fetch list for Genode Labs binaries
2019-09-30 14:40:09 +02:00
2d469bd228
Update README
2019-09-30 14:40:02 +02:00
41071d2625
License under Hippocratic-1.1
2019-09-27 12:38:35 +02:00
0093667936
Remove stale patches
2019-09-26 09:48:06 +02:00
316259817c
Add NOVA, update release.nix
2019-09-25 13:48:34 +02:00
8a98432df3
Add meta to Genode upstream packages
2019-09-25 13:48:34 +02:00
2a230ea26b
Add README
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
db934b29d9
Clean dead expressions
2019-09-25 13:48:34 +02:00
a2c2dcad29
Update upstream revision
2019-09-25 13:48:34 +02:00
a6aa89ebee
Build upstream with Hydra
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
272f6c8277
Fix genode detection in overlay
2019-09-25 13:48:34 +02:00
837b701018
Nixpkgs overlay
2019-09-25 13:48:26 +02:00
4c1beb7946
Build only stdenv at hydra
2019-09-03 17:54:56 +02:00
15bdde1726
useLLVM
2019-09-03 15:16:07 +02:00
ca13c09335
Build Genode stdenv
2019-09-01 16:48:10 +02:00
7f8e7923a6
Update Git URLs
2019-09-01 16:00:12 +02:00
95e3b6a62e
Add Dhall preludes
2019-08-30 13:10:45 +02:00
99be653e7e
Add ScummVM derivation
2019-08-18 18:30:10 +02:00
3ad62e086e
Initial commit
2019-08-18 16:07:11 +02:00