Ehmry - 233986e6bc nixos: do not set a default Nic driver ... Setting a default driver will cause confusion later.		2020-11-13 15:03:33 +01:00
..
dhall	genodeSources: 20.05 -> 20.08	2020-09-02 13:01:53 +02: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: add genode.init.children.….configFile to system closure	2020-11-13 15:03:33 +01:00
genode-init.nix	Refactor routing	2020-11-13 14:47:24 +01:00
hardware.nix	nixos: do not set a default Nic driver	2020-11-13 15:03:33 +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	Refactor routing	2020-11-13 14:47:24 +01:00
systemd-runner.dhall	Refactor routing	2020-11-13 14:47:24 +01:00
systemd.nix	Refactor routing	2020-11-13 14:47:24 +01:00