On Thu, 21 May 2020 16:31:22 +0100 Maurice McCarthy <[email protected]> wrote:
> Maybe depends whether it is on usb or pci. Have a look at > > $ pkg_info pcsc-tools > I had a similar issue long ago (don't remember the exact hardware setup). The solution was to have a card in the slot when booting the machine; otherwise it would not be detected. Afterwards it was possible to insert different cards. /Robert

