sigil/nixos-modules
Emery Hemingway ccc2f4f79f Modify type of ERIS­manifest
Convert the manifest to have a more general type.
2023-09-29 11:18:31 +01:00
..
eris Modify type of ERIS­manifest 2023-09-29 11:18:31 +01:00
gui New getEris functions 2022-10-07 21:30:30 -05:00
hardware Modify type of ERIS­manifest 2023-09-29 11:18:31 +01:00
lib Modify type of ERIS­manifest 2023-09-29 11:18:31 +01:00
services New getEris functions 2022-10-07 21:30:30 -05:00
base-hw-pc.nix Deadnix cleanup 2022-04-24 18:20:39 -05:00
base-hw-virt_qemu.nix Deadnix cleanup 2022-04-24 18:20:39 -05:00
base-modules-blacklist.nix nixos: replace system.build.toplevel 2021-01-21 12:14:54 +01:00
buildBootDescription.nix Rename dhall-genode to dhall-sigil 2021-04-07 15:21:00 +02:00
default.nix Tidy up legacyPackages instantiation 2022-10-07 21:30:32 -05:00
file-systems.nix Deadnix cleanup 2022-04-24 18:20:39 -05:00
genode-core.nix Modify type of ERIS­manifest 2023-09-29 11:18:31 +01:00
genode-init.nix nixos-modules: convert romModules to list 2022-10-07 21:29:14 -05:00
make-system-tarball.nix Avoid eris IFD 2022-10-07 21:30:32 -05:00
make-system-tarball.sh Do not clobber files when creating tarballs 2023-04-30 10:25:33 +01:00
nova.nix Avoid eris IFD 2022-10-07 21:30:32 -05:00
partition-type nixos-modules: add nix-store USB backend 2021-01-12 10:27:25 +01:00
qemu-vm.nix tests: use untouched nixpkgs for the test host 2022-10-07 21:29:14 -05:00
store-fs-uuid nixos-modules: add nix-store USB backend 2021-01-12 10:27:25 +01:00
store-wrapper.dhall Rename the second init from "nixos" to "sigil" 2022-10-20 09:29:59 -05:00