Emery Hemingway
f53eb6cd3b
Update dhall-genode for policy-route changes
2020-10-23 10:16:24 +02:00
Emery Hemingway
c3385aedd0
genodeSources: 20.05 -> 20.08
2020-09-02 13:01:53 +02:00
Emery Hemingway
1f53f25419
Relicense as MIT
2020-08-27 17:15:09 +02:00
Emery Hemingway
100be5270a
dhall: policy specification
2020-06-11 11:10:39 +05:30
Emery Hemingway
46c6561302
test/posix: convert to bash script
2020-05-30 17:31:12 +05:30
Emery Hemingway
55c093e0c5
Use updateAutotoolsGnuConfigScript to build legacy packages
...
Update Nixpkgs to use the updateAutotoolsGnuConfigScript hook everywhere
for Genode target platforms. Tweak Coreutils and Bash to compile, make
some tests.
2020-05-08 02:05:41 +05:30
Emery Hemingway