To set up a PSK server with gnutls-serv you need to create PSK
password file (see Invoking psktool). In the example below, I
type password at the prompt.
$ ./psktool -u psk_identity -p psks.txt -n psk_identity_hint
Enter password:
Key stored to psks.txt
$ cat psks.txt
psk_identity:88f3824b3e5659f52d00e959bacab954b6540344
$
After this, start the server pointing to the password file. We disable DHE-PSK.
$ ./gnutls-serv --pskpasswd psks.txt --pskhint psk_identity_hint --priority NORMAL:-DHE-PSK
Set static Diffie-Hellman parameters, consider --dhparams.
Echo Server ready. Listening to port '5556'.
You can now connect to the server using a PSK client (see Example client PSK connection).