Ehmry - 14b6fe9652 dhall-genode: update to nomalize <provides> with policies		2020-12-10 20:40:17 +01:00
..
dhall	Update dhall-genode for Libc helper	2020-11-27 11:45:16 +01:00
lib	nixos-modules: add nix-store USB backend	2020-12-10 20:40:17 +01:00
base-hw-pc.nix	Port NixOS module system	2020-11-01 20:29:19 +01:00
base-hw-virt_qemu.nix	Port NixOS module system	2020-11-01 20:29:19 +01:00
buildBootDescription.nix	Relicense as MIT	2020-08-27 17:15:09 +02:00
default.nix	genodeSources: 20.05 -> 20.08	2020-09-02 13:01:53 +02:00
genode-core.nix	nixos-modules: add nix-store USB backend	2020-12-10 20:40:17 +01:00
genode-init.nix	nixos: add jitter_sponge entropy source	2020-12-10 20:31:32 +01:00
hardware.nix	nixos-modules: add nix-store USB backend	2020-12-10 20:40:17 +01:00
nova.nix	Port NixOS module system	2020-11-01 20:29:19 +01:00
qemu-vm.nix	Port NixOS module system	2020-11-01 20:29:19 +01:00
store-wrapper.dhall	dhall-genode: update to nomalize <provides> with policies	2020-12-10 20:40:17 +01:00
systemd-runner.dhall	dhall-genode: update to nomalize <provides> with policies	2020-12-10 20:40:17 +01:00
systemd.nix	nixos: add extraVfs and ramQuota options to systemd wrapper	2020-12-10 20:40:17 +01:00