bdcc22d5be
dhall-genode: update to fix missing parent-provides
2020-05-01 06:33:27 +05:30
1941fd196c
init/sandbox: patch in <routes> support
2020-05-01 05:22:58 +05:30
f623372e6b
dhall-genode: update
2020-04-23 15:19:27 +05:30
2aee6e6601
dhall-genode: update to LabelSelector revision
2020-04-20 16:46:39 +05:30
085fedfef5
Update dhallGenode
2020-03-19 15:36:11 +05:30
818014787f
Update to latest Dhall in Nixpkgs master
2020-03-18 19:40:58 +05:30
19dccc4862
Update dhall-genode, use report_rom inference
2020-03-07 10:57:41 +01:00
9349b3acb8
Update dhall-genode
2020-02-27 17:33:41 +01:00
94868758e5
Refactor tests to use nested Init/Child type
2020-02-24 22:47:07 +01:00
36f682ccd4
Update Genode Dhall library
...
Freeze the library when committing to the Nix store. The Init.toStart
function now lowers an only-child automatically, so adjust the Timer
service routes in tests accordingly.
2020-02-19 13:26:15 +01:00
2c1ace9a2a
Update dhall-genode
2020-01-24 14:46:51 +01:00
40df18a963
Relicense as CC0-1.0
2020-01-24 14:46:41 +01:00
49b4209526
Move pkgs to packages
2020-01-17 14:12:57 +01:00
