krb5_packages:
  - krb5-workstation