I'm not sure I understand who the target market is. Post-quantum algorithms already run fine on general-purpose hardware.

I have many questions. The government uses a lot of these kind of things, but they need to go through very specific certification processes that Librem doesn't seem to have gone through.

They are extremely vague here about what the actual connection is. Is it IPsec with a PQ-safe algorithm? How are keys actually exchanged? How are they stored on the hardware?

This could potentially be really cool... but with the information we have, I can't imagine how anyone could actually look at this as a serious product for consideration.