2
0
Fork 0
genodepkgs/nixos-modules
Ehmry - 190531e2ee Add nixosModules to flake 2020-12-10 20:25:02 +01:00
..
gui nixos: add graphical log 2020-12-10 20:25:02 +01:00
lib fixup! fixup! fixup! Boot from USB 2020-12-10 20:25:02 +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 Add nixosModules to flake 2020-12-10 20:25:02 +01:00
genode-core.nix fixup! fixup! Boot from USB 2020-12-10 20:25:02 +01:00
genode-init.nix nixos: add jitter_sponge entropy source 2020-12-10 20:25:02 +01:00
hardware.nix nixos: add graphical log 2020-12-10 20:25:02 +01:00
nova.nix fixup! Boot from USB 2020-12-10 20:25:02 +01:00
partition-type fixup! fixup! fixup! Boot from USB 2020-12-10 20:25:02 +01:00
qemu-vm.nix fixup! Boot from USB 2020-12-10 20:25:02 +01:00
store-fs-uuid fixup! fixup! fixup! Boot from USB 2020-12-10 20:25:02 +01:00
store-wrapper.dhall dhall-genode: update to nomalize <provides> with policies 2020-12-10 20:25:02 +01:00
systemd-runner.dhall dhall-genode: update to nomalize <provides> with policies 2020-12-10 20:25:02 +01:00
systemd.nix nixos: add extraVfs and ramQuota options to systemd wrapper 2020-12-10 20:25:02 +01:00