2
0
Fork 0
Genode Packages collection https://git.sr.ht/~ehmry/genodepkgs/
You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
 
 
 
 
 
genodepkgs/nixos-modules
Emery Hemingway 190531e2ee Add nixosModules to flake 2 years ago
..
gui nixos: add graphical log 2 years ago
lib fixup! fixup! fixup! Boot from USB 2 years ago
base-hw-pc.nix Port NixOS module system 2 years ago
base-hw-virt_qemu.nix Port NixOS module system 2 years ago
buildBootDescription.nix Relicense as MIT 2 years ago
default.nix Add nixosModules to flake 2 years ago
genode-core.nix fixup! fixup! Boot from USB 2 years ago
genode-init.nix nixos: add jitter_sponge entropy source 2 years ago
hardware.nix nixos: add graphical log 2 years ago
nova.nix fixup! Boot from USB 2 years ago
partition-type fixup! fixup! fixup! Boot from USB 2 years ago
qemu-vm.nix fixup! Boot from USB 2 years ago
store-fs-uuid fixup! fixup! fixup! Boot from USB 2 years ago
store-wrapper.dhall dhall-genode: update to nomalize <provides> with policies 2 years ago
systemd-runner.dhall dhall-genode: update to nomalize <provides> with policies 2 years ago
systemd.nix nixos: add extraVfs and ramQuota options to systemd wrapper 2 years ago