infrastructure/nixos/hosts/hades/default.nix