We have our own hardware with multiple microchips onboard and advanced logic (with USB host, PPP/IP stack, Ethernet and so on), all that written in pure C. We didn't write PKCS software, but I am confident we'll be able to deliver the project. If you want to start the project with us, you'll have to tell us what chip you're using so that we can make a similar board here.