changing --> p_system_clock("clk", 10.0, p_system);

[thala7]

Hi,
I want to modify the p_system_clock parameter value to reach 50Mhz clock speed.
How can i adjust the correct parameter value to reach 50Mhz clock speed.
Could you suggest me the document or any other guidelines to change the clock speed.
Thank you

// Decide whether LT or AT
gs::gs_param p_system_at("at", false, p_system);
gs::gs_param p_system_ncpu("ncpu", 1, p_system);

gs::gs_param p_system_clock("clk", 10.0, p_system);

gs::gs_param<std::string> p_system_osemu("osemu", "", p_system);
gs::gs_param<std::string> p_system_log("log", "", p_system);

gs::gs_param_array p_report("report", p_conf);
gs::gs_param<bool> p_report_timing("timing", true, p_report);
gs::gs_param<bool> p_report_power("power", true, p_report);

/*

[thala7]

I have changed the parameter value to 20, as it has mentioned NS(nanoseconds) in the code.

could anyone suggest me the document to understand the clock characterization in the SoCRocket?