lib
|
Port NixOS module system
|
2020-11-01 20:29:19 +01:00 |
solo5
|
Port NixOS module system
|
2020-11-01 20:29:19 +01:00 |
test-driver
|
Replace test framework
|
2020-06-01 17:15:03 +05:30 |
default.nix
|
Port NixOS module system
|
2020-11-01 20:29:19 +01:00 |
hello.dhall
|
Port NixOS module system
|
2020-11-01 20:29:19 +01:00 |
hello.nix
|
Port NixOS module system
|
2020-11-01 20:29:19 +01:00 |
log.dhall
|
Port NixOS module system
|
2020-11-01 20:29:19 +01:00 |
log.nix
|
Port NixOS module system
|
2020-11-01 20:29:19 +01:00 |
posix.dhall
|
Update dhall-genode for policy-route changes
|
2020-10-23 10:16:24 +02:00 |
posix.nix
|
Relicense as MIT
|
2020-08-27 17:15:09 +02:00 |
test-wrapper.dhall
|
genodeSources: 20.05 -> 20.08
|
2020-09-02 13:01:53 +02:00 |
test.dhall
|
genodeSources: 20.05 -> 20.08
|
2020-09-02 13:01:53 +02:00 |
vmm_arm.dhall
|
genodeSources: 20.05 -> 20.08
|
2020-09-02 13:01:53 +02:00 |
vmm_arm.nix
|
Relicense as MIT
|
2020-08-27 17:15:09 +02:00 |
vmm_x86.dhall
|
Port NixOS module system
|
2020-11-01 20:29:19 +01:00 |
vmm_x86.nix
|
Port NixOS module system
|
2020-11-01 20:29:19 +01:00 |
x86.dhall
|
Port NixOS module system
|
2020-11-01 20:29:19 +01:00 |
x86.nix
|
Port NixOS module system
|
2020-11-01 20:29:19 +01:00 |