Sysconfig.h

In this header the default GPU clock frequency must be specified (in MHZ), for example, 100 MHz.

The following code block provides an example.
define RGX_NOHW_CORE_CLOCK_SPEED 100000000