Chapter 2. Installing the system in FIPS mode