Emery Hemingway
0aba8e75bc
dhall-genode: update for policy diagnostic
2020-11-07 16:42:48 +01:00
Emery Hemingway
b951c22a0d
Refactor routing
...
Patch init to simplify routing. Update Dhall library and NixOS modules
accordingly.
2020-11-07 16:42:48 +01:00
Emery Hemingway
f53eb6cd3b
Update dhall-genode for policy-route changes
2020-10-23 10:16:24 +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
08913768fc
dhall-genode: update for ServiceRoute diagnostics
2020-05-30 17:31:12 +05:30
Emery Hemingway
72c4e4d2f3
Update dhall-genode for Init.StateReport
2020-05-16 02:50:10 +05:30
Emery Hemingway
bdcc22d5be
dhall-genode: update to fix missing parent-provides
2020-05-01 06:33:27 +05:30
Emery Hemingway
1941fd196c
init/sandbox: patch in <routes> support
2020-05-01 05:22:58 +05:30
Emery Hemingway
f623372e6b
dhall-genode: update
2020-04-23 15:19:27 +05:30
Emery Hemingway
2aee6e6601
dhall-genode: update to LabelSelector revision
2020-04-20 16:46:39 +05:30
Emery Hemingway
085fedfef5
Update dhallGenode
2020-03-19 15:36:11 +05:30
Emery Hemingway
818014787f
Update to latest Dhall in Nixpkgs master
2020-03-18 19:40:58 +05:30
Emery Hemingway
19dccc4862
Update dhall-genode, use report_rom inference
2020-03-07 10:57:41 +01:00
Emery Hemingway
9349b3acb8
Update dhall-genode
2020-02-27 17:33:41 +01:00
Emery Hemingway
94868758e5
Refactor tests to use nested Init/Child type
2020-02-24 22:47:07 +01:00
Emery Hemingway
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
Emery Hemingway
2c1ace9a2a
Update dhall-genode
2020-01-24 14:46:51 +01:00
Emery Hemingway
40df18a963
Relicense as CC0-1.0
2020-01-24 14:46:41 +01:00
Emery Hemingway
49b4209526
Move pkgs to packages
2020-01-17 14:12:57 +01:00
Emery Hemingway