fips-tinycthread fipsified tinycthread (https://github.com/tinycthread/tinycthread) fips build system: https://github.com/floooh/fips