https://shop.nitrokey.com/shop/product/nitrokey-hsm-7
I've bought one, but didn't use it yet. I had ideas to use it to test an HSM + pkcs11 OpenSSL engine setup in a personal project (RFC3161 server), but I didn't found the time to play with it yet.
However, the standard tooling to interact with a P11 device under Linux is a bit of a mess, you have tooling from gnutls, p11-kit and OpenSSL (kind of actually, they kind of broke arguments passing, for example the URI of the key not being a valid path, when using external engines).
Also, if you want to play with an HSM without a physical HSM, softhsm is for you (https://www.opendnssec.org/softhsm/).
I checked the "NIST List" (rhymes haha), and they might have this module under evaluation:
https://csrc.nist.gov/Projects/Cryptographic-Module-Validati...