I seem to remember that WolfSSL had some fairly egregious vulnerabilities even while being FIPS certified.
Do you have some reason to believe that WolfSSL has suddenly gotten better for some reason?
Do you have some reason to believe that WolfSSL has suddenly gotten better for some reason?
https://www.wolfssl.com/docs/security-vulnerabilities/
For another, I used them for an embedded project for 5 years and they were the most complete, competent, and up-to-date library of the open-source ones we surveyed (and had a TON of optimizations for TI, STM, Arm and Cavium MCUs).