Setting up working FIDO2 key in Guix

[Raymundo Soto <rsoto@secure.mailbox.org>]

Hi everyone!

I have been trying to follow `info guix' but I am feeling
a bit lost now regarding the subject topic.

Here are the relevant portions of my config.scm:

(use-modules
[...] (gnu services security-token) (guix packages) (guix download))

[...]

(define %nitrokey-udev-rules
  (origin
    (method url-fetch)
    (uri "[...]")
    (hash (content-hash "[...]"))))

[...]

(operating-system
[...]
  (services
    (append
      (list
        (udev-rules-service 'nitrokey $nitrokey-udev-rules)
        [...])
      %desktop-services))
  [...]

The Nitrokey is detected by the Kernel, and udevadvm monitor shows
events such as plugging and unplugging.

The Nitrokey has a couple of functions and, interestingly enough, I
had been able to use the functions for ssh-keygen with a non-admin
password even before adding the udev rules. But now I am trying to
use the FIDO2 functionality - which I am sure does not work because:

1.- Neither nitrocli nor the Nitrokey app detect the key
2.- A website supporting dongleauth/FIDO was not able to read data.

Am I missing some step here?

Any hints greatly appreciated.

Thanks,

Ray.-