On 2020-05-21, Robert <[email protected]> wrote: > 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 > >
Try that. And send a dmesg.

