nixpkgs/nixos/modules/config/krb5
..
default.nix