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.
Emery Hemingway 9940b0fe85 nixos: persistent file-system storage 3 months ago
..
gui nixos: add graphical log 3 months ago
lib nixos: boot from AHCI 3 months ago
base-hw-pc.nix Port NixOS module system 5 months ago
base-hw-virt_qemu.nix Port NixOS module system 5 months ago
buildBootDescription.nix Relicense as MIT 7 months ago
default.nix nixos: boot from AHCI 3 months ago
genode-core.nix nixos: persistent file-system storage 3 months ago
genode-init.nix nixos: persistent file-system storage 3 months ago
hardware.nix nixos: do not test with a disk without a store 3 months ago
nova.nix nixos: boot from AHCI 3 months ago
partition-type nixos-modules: add nix-store USB backend 3 months ago
qemu-vm.nix nixos: do not test with a disk without a store 3 months ago
store-fs-uuid nixos-modules: add nix-store USB backend 3 months ago
store-wrapper.dhall nixos: less diagnostics 3 months ago
systemd-runner.dhall nixos: persistent file-system storage 3 months ago
systemd.nix nixos: persistent file-system storage 3 months ago