Has anyone here gone through the process of certifying their software
FIPS-140 or EAL?

This doesn't look like it is going to be easy.

--
brain, not brain