For manual login, the printer uses the default domain specified in the Kerberos configuration file. If you use a different domain, then specify the domain name in the manual login settings.
From the Embedded Web Server, navigate to the configuration page for the application:
Apps > Smart Card Authentication Client > Configure
From the Manual Login Setup section, in the Manual Login Domains field, type one or more domains.
Click Apply.