GitHub repository: pulp/fips-box-builder
Description: Stuff for building a FIPS Vagrant box