94c73172cb
Rename dhall-genode to dhall-sigil
2021-04-07 15:21:00 +02:00
57a093afea
Update dhall-genode for Libc helper
2020-11-27 11:45:16 +01:00
f53eb6cd3b
Update dhall-genode for policy-route changes
2020-10-23 10:16:24 +02:00
c3385aedd0
genodeSources: 20.05 -> 20.08
2020-09-02 13:01:53 +02:00
1f53f25419
Relicense as MIT
2020-08-27 17:15:09 +02:00
100be5270a
dhall: policy specification
2020-06-11 11:10:39 +05:30
46c6561302
test/posix: convert to bash script
2020-05-30 17:31:12 +05:30
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