udev-rules for my FST-01 gnuk security token

[Arun Isaac]

I am trying to get my FST-01 gnuk security token working on
GuixSD. According to their documentation
(https://www.fsij.org/doc-gnuk/udev-rules.html), I need to add a custom
udev-rule. I am trying to use the configuration shown below to achieve
the same. But, I don't see any file by the name "60-gnupg.rules" created
in my /run/current-system/profile/lib/udev/rules.d/. Am I doing
something wrong or is my expectation incorrect? Has anyone successfully
used a FST-01 gnuk security token in GuixSD?

(use-modules (gnu))

(define %gnuk-udev-rule
  (udev-rule
   "60-gnupg.rules"
   "ATTR{idVendor}==\"234b\", ATTR{idProduct}==\"0000\", 
ENV{ID_SMARTCARD_READER}=\"1\", ENV{ID_SMARTCARD_READER_DRIVER}=\"gnupg\""))

(operating-system
 (host-name "adamantium")
 (timezone "Asia/Kolkata")
 (locale "en_US.utf8")
 (bootloader (bootloader-configuration
              (bootloader grub-bootloader)
              (target "/dev/sda")))
 (file-systems (cons (file-system
                      (device "my-root")
                      (mount-point "/")
                      (type "ext4"))
                     %base-file-systems))
 (users %base-user-accounts)
 (packages %base-packages)
 (services
  (modify-services %base-services
                   (udev-service-type
                    config =>
                    (udev-configuration
                     (inherit config)
                     (rules
                      (append (udev-configuration-rules config)
                              (list %gnuk-udev-rule))))))))