2
0
Fork 0
Commit Graph

20 Commits (absolute-libraries)

Author SHA1 Message Date
Emery Hemingway 0aba8e75bc dhall-genode: update for policy diagnostic 2 years ago
Emery Hemingway b951c22a0d Refactor routing 2 years ago
Emery Hemingway f53eb6cd3b Update dhall-genode for policy-route changes 2 years ago
Emery Hemingway 1f53f25419 Relicense as MIT 2 years ago
Emery Hemingway 100be5270a dhall: policy specification 3 years ago
Emery Hemingway 08913768fc dhall-genode: update for ServiceRoute diagnostics 3 years ago
Emery Hemingway 72c4e4d2f3 Update dhall-genode for Init.StateReport 3 years ago
Emery Hemingway bdcc22d5be dhall-genode: update to fix missing parent-provides 3 years ago
Emery Hemingway 1941fd196c init/sandbox: patch in <routes> support 3 years ago
Emery Hemingway f623372e6b dhall-genode: update 3 years ago
Emery Hemingway 2aee6e6601 dhall-genode: update to LabelSelector revision 3 years ago
Emery Hemingway 085fedfef5 Update dhallGenode 3 years ago
Emery Hemingway 818014787f Update to latest Dhall in Nixpkgs master 3 years ago
Emery Hemingway 19dccc4862 Update dhall-genode, use report_rom inference 3 years ago
Emery Hemingway 9349b3acb8 Update dhall-genode 3 years ago
Emery Hemingway 94868758e5 Refactor tests to use nested Init/Child type 3 years ago
Emery Hemingway 36f682ccd4 Update Genode Dhall library 3 years ago
Emery Hemingway 2c1ace9a2a Update dhall-genode 3 years ago
Emery Hemingway 40df18a963 Relicense as CC0-1.0 3 years ago
Emery Hemingway 49b4209526 Move pkgs to packages 3 years ago