I'm looking for the config that was used to harden picorv32 or the management SOC in general. In particular I want to know what the clock period was for wb_clk_i for hardening the management section./